Commits · 2976cb33e94a7f50dc2132b339909b1cf7a7357d · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Dec 02, 2015
- Update 64-bit annotation files after DEADREGS changes. · 2976cb33
  clc5q authored 9 years ago
  2976cb33
- Add x86-64 callee-saved regs to return instruction USEs lists. · 634f1c3d
  clc5q authored 9 years ago
  634f1c3d
- Add x86-64 caller-saved regs to return statement USE lists. · 301ca121
  clc5q authored 9 years ago
  301ca121
Dec 01, 2015
- Better safeguard for call to GetNextInstructionID() in INDIR_JUMP case with no... · 707b1dc6
  clc5q authored 9 years ago
  707b1dc6
- fixed indir jmps/calls to return the near version instead of the direct version · c4f5ffd0
  jdh8d authored 9 years ago
  c4f5ffd0
Nov 30, 2015
- Constrain code xrefs to the real code range, not including XTRN segments. · 35ccd8e0
  clc5q authored 9 years ago
  35ccd8e0
- DEADREGS fix; don't prune USEs from calls to linker stub functions. · 0c9e4a39
  clc5q authored 9 years ago
  0c9e4a39
- Updates for dealing with IBs in STARS/irdb · 12fe017e
  jdh8d authored 9 years ago
  12fe017e
Nov 27, 2015
- Debugging updates for get_root_filename() problems. · 0aa40c22
  clc5q authored 9 years ago
  0aa40c22
Nov 25, 2015
- Mark mutually recursive funcs; output postconditions for preserved regs. · bc382ff0
  clc5q authored 9 years ago
  bc382ff0
Nov 19, 2015
- Conditional statement translation. · 13820827
  clc5q authored 9 years ago
  13820827
Nov 18, 2015
- Translate if-then-else to SPARK Ada. · 2ab283a3
  clc5q authored 9 years ago
  2ab283a3
- Updated call to get_root_filename to default to a.ncexe.log and report error... · 8487a0ba
  jdh8d authored 9 years ago
  8487a0ba
Nov 17, 2015
- Continue switch statement translation. · e3005c37
  clc5q authored 9 years ago
  e3005c37
Nov 16, 2015
- Make DetermineRootFilename() more robust. · 21482b56
  clc5q authored 9 years ago
  21482b56
Nov 15, 2015
- Keep switch analysis from changing annotations related to loop analysis. · ed74bc4f
  clc5q authored 9 years ago
  ed74bc4f
Nov 14, 2015
- Continue switch statement analysis and translation. · 3d1238dc
  clc5q authored 9 years ago
  3d1238dc
Nov 09, 2015
- Add more debugging output. · dd68f925
  clc5q authored 9 years ago
  dd68f925
- Fix linkage of fixed-call pushes to inst IDs. · d656e999
  clc5q authored 9 years ago
  d656e999
- Fix assertion. · 4b0c5f62
  clc5q authored 9 years ago
  4b0c5f62
- Link fall-through blocks after fixed calls. · 2c9484e0
  clc5q authored 9 years ago
  2c9484e0
- Extend fix on DEF of EAX not being removed on call instructions. · 9bba4936
  clc5q authored 9 years ago
  9bba4936
Nov 08, 2015
- Avoid removing the return value reg from the DEFs list of call instructions. · b1c16bc7
  clc5q authored 9 years ago
  b1c16bc7
- Fix DEF-USE issues with call instructions. · b5730161
  clc5q authored 9 years ago
  b5730161
Nov 07, 2015
- Guard against calls to GetNextInstructionID() for fixed-call jumps, which have... · 372e823a
  clc5q authored 9 years ago
  372e823a
- Fix for GetCallTarget() for fixed call jumps. · b4fd0817
  clc5q authored 9 years ago
  b4fd0817
- Add debugging output. · a58790c6
  clc5q authored 9 years ago
  a58790c6
- Remove extraneous virtual keyword. · 71aabf79
  clc5q authored 9 years ago
  71aabf79
- Continue fixed call analysis. · 6d4da2c5
  clc5q authored 9 years ago
  6d4da2c5
Nov 05, 2015
- Continue translation work. · e66a39f9
  clc5q authored 9 years ago
  e66a39f9
Nov 04, 2015
- Added changes to support IsInstIDInFunc better, and implemented a... · 47fa981f
  jdh8d authored 9 years ago
  47fa981f
Oct 31, 2015
- SPARK Ada improvements for sign- and zero-extension and unary minus operands. · be49e528
  clc5q authored 9 years ago
  be49e528
Oct 29, 2015
- Remove extraneous inline keyword. · c5daca8b
  clc5q authored 9 years ago
  c5daca8b
- Continue work on handling calls that were fixed into a push and jump pair. · cad2ae4a
  clc5q authored 9 years ago
  cad2ae4a
Oct 27, 2015
- Improve loop analysis; continue SPARK Ada loop translation. · ff7f397d
  clc5q authored 9 years ago
  ff7f397d
Oct 19, 2015
- Update to get STARS working. · 089adaa9
  jdh8d authored 9 years ago
  089adaa9
Oct 18, 2015
- Move method into base class of STARSProgram. · 51287075
  clc5q authored 9 years ago
  51287075
Oct 17, 2015
- More prep work for recognizing calls that were converted to a push and a jump. · 2cc4225b
  clc5q authored 9 years ago
  2cc4225b
- Build RTLs earlier and solve resulting phase ordering issues. · 46016d1d
  clc5q authored 9 years ago
  46016d1d
Oct 16, 2015
- SCCP: DEFs returned from call instructions must be of unknown value until we... · 51b67bb0
  clc5q authored 9 years ago
  51b67bb0