Commits · main · Adéla Štěpková / reverser · GitLab

Nov 05, 2025
- strip pointer casts from a CallInst when identifying functions · f49d8c64
  Adéla Štěpková authored Nov 05, 2025
  
  f49d8c64
Nov 03, 2025
- add an empty predecessor to every block with an (indirect) assert · 63539591
  Adéla Štěpková authored Nov 03, 2025
  
  63539591
Nov 02, 2025
- add DCEPass before custom opt, remove GVNPass from post · b78efb5e
  Adéla Štěpková authored Nov 02, 2025
  
  b78efb5e
Nov 01, 2025
- clone module header into the reversed module · 77c7831f
  Adéla Štěpková authored Nov 01, 2025
  
  77c7831f
- if no assert is found, just reverse what is there and do not add new main or error() · e7670577
  Adéla Štěpková authored Nov 01, 2025
  
  e7670577
- fail if no main was found · 1643a552
  Adéla Štěpková authored Nov 01, 2025
  
  1643a552
Oct 26, 2025
- fix: do not replace constants with constants · 6ae9fc78
  Adéla Štěpková authored Oct 26, 2025
  
  6ae9fc78
Oct 24, 2025
- output unsupported instructions in reverseBasicInstructions · 5d72d62f
  Adéla Štěpková authored Oct 24, 2025
  
  5d72d62f
- remove SimplifyCFG because it creats select · 54cd751c
  Adéla Štěpková authored Oct 24, 2025
  
  54cd751c
- move simplifyCFG from after reversing to before reversing · a5cb47b1
  Adéla Štěpková authored Oct 24, 2025
  
  a5cb47b1
- update path to symbiotic in test.py · 8198be05
  Adéla Štěpková authored Oct 24, 2025
  
  8198be05
Oct 22, 2025
- remove TODO · 56271cec
  Adéla Štěpková authored Oct 22, 2025
  
  56271cec
- fix: branch to return only from init block · a4cf4972
  Adéla Štěpková authored Oct 22, 2025
  
  a4cf4972
- do not replace older values with newer values in simplifyAssume · 6be93d57
  Adéla Štěpková authored Oct 22, 2025
  
  6be93d57
Oct 20, 2025
- allow simplifyCFG in custom preprocessing · c5a4c1b4
  Adéla Štěpková authored Oct 20, 2025
  
  c5a4c1b4
- compute same paths with virtualDT · 996854c4
  Adéla Štěpková authored Oct 20, 2025
  
  996854c4
- add version printing · 92c57e2a
  Adéla Štěpková authored Oct 20, 2025
  
  92c57e2a
- move options to a separate class, cancel debug mode · e8f6a51d
  Adéla Štěpková authored Oct 20, 2025
  
  e8f6a51d
- add virtualDT to simplifyAssume · c7f256e1
  Adéla Štěpková authored Oct 20, 2025
  
  c7f256e1
- add attributes to assume placeholder, so that it is not optimizad away · 62bbcf7f
  Adéla Štěpková authored Oct 20, 2025
  
  62bbcf7f
- add name and year to the license · ca15c5ae
  Adéla Štěpková authored Oct 20, 2025
  
  ca15c5ae
- add MIT license · 620c8d5c
  Adéla Štěpková authored Oct 20, 2025
  
  620c8d5c
Oct 19, 2025
- add preprocess for custom opt method · 8531e659
  Adéla Štěpková authored Oct 19, 2025
  
  8531e659
- fix negation in starting from failed assert · 08258298
  Adéla Štěpková authored Oct 19, 2025
  
  08258298
- fix getting variable from load in simplify memops · e10b467a
  Adéla Štěpková authored Oct 19, 2025
  
  e10b467a
- move moveUpAssumes to simplifyAssumes · f75999b2
  Adéla Štěpková authored Oct 19, 2025
  
  f75999b2
Oct 18, 2025
- add InternalizePass to Global DCE · 0062fa51
  Adéla Štěpková authored Oct 18, 2025
  
  0062fa51
- subdivide edges between a loop header and a failed assert BB · 755c4487
  Adéla Štěpková authored Oct 18, 2025
  
  755c4487
- add pass to fix irreducible loops · 71ae1894
  Adéla Štěpková authored Oct 18, 2025
  
  71ae1894
- fix bugs in constant propagation · a3da1e23
  Adéla Štěpková authored Oct 18, 2025
  
  a3da1e23
Oct 16, 2025
- test.py cleans up after itself · d88aae73
  Adéla Štěpková authored Oct 16, 2025
  
  d88aae73
- bugfixes · 06d147ca
  Adéla Štěpková authored Oct 16, 2025
  
  06d147ca
Oct 15, 2025
- use creteCmp, which checks if it should freate Icmp or Fcmp · 657290cd
  Adéla Štěpková authored Oct 15, 2025
  
  657290cd
- fix bug in moveUpAssumes · 760ecc4e
  Adéla Štěpková authored Oct 15, 2025
  
  760ecc4e
Oct 14, 2025
- separate the structures used in reversing from the structures used in optimizations · caf5fb80
  Adéla Štěpková authored Oct 14, 2025
  
  caf5fb80
- allow status in sv comp mode · 0457f2c6
  Adéla Štěpková authored Oct 14, 2025
  
  0457f2c6
- improve messages in test.py · 1bdb7da2
  Adéla Štěpková authored Oct 14, 2025
  
  1bdb7da2
- add initial scan for asserts · 7923754a
  Adéla Štěpková authored Oct 14, 2025
  
  7923754a
- improve info messages · 8fe54187
  Adéla Štěpková authored Oct 14, 2025
  
  8fe54187
- correctly handle programs with no assert · 6ffd83b5
  Adéla Štěpková authored Oct 14, 2025
  
  6ffd83b5