Commits · 3e623e784fe74ae9b174440ece12bbcbc81e18a3 · Open Source Software / SMPStaticAnalyzer

Nov 30, 2018
- Pack DefOrUse to save memory; delete redundant call to STAR_GetCmd() from... · 3e623e78
  Clark Coleman authored 6 years ago
  
  Pack DefOrUse to save memory; delete redundant call to STAR_GetCmd() from STARS_IRDB_Instruction_t constructor.
  3e623e78
Nov 29, 2018
- optimize STARS_IRDB_instruction_t size · c98e3303
  Jason Hiser authored 6 years ago
  
  c98e3303
- fixed bytewidht issue · 11aa8b52
  Jason Hiser authored 6 years ago
  
  11aa8b52
- additions to 1) print number of instructions and operands created, destroyed, ... · 1f1fd3c9
  Jason Hiser authored 6 years ago
  
  additions to 1) print number of instructions and operands created, destroyed, and leaked. 2) fixed MakeVoidPointer re-use issues.
  1f1fd3c9
- Reduce void operand memory. · 80936666
  Clark Coleman authored 6 years ago
  
  80936666
Nov 28, 2018
- Reduce memory consumption. · 4c19cffe
  Clark Coleman authored 6 years ago
  
  4c19cffe
Nov 26, 2018
- Robustness fix for likely unreachable code that has memop that is just the address zero. · 29956920
  Clark Coleman authored 6 years ago
  
  29956920
- Track min and max values written directly to global static vars, use in memory... · 8536d125
  Clark Coleman authored 6 years ago
  
  Track min and max values written directly to global static vars, use in memory expresssion simplification; other memory analysis generalizations.
  8536d125
Nov 24, 2018
- Crash fix for tar binary; loop analysis fixes for move_globals annotations. · 9ae06334
  Clark Coleman authored 6 years ago
  
  9ae06334
Nov 20, 2018
- Handle unpinned and pinned fixed calls. · 482e04ee
  Clark Coleman authored 6 years ago
  
  482e04ee
- Fixed-call-push robustness fix; minor speedup; add loop analysis diagnostic counters. · b3eb8709
  Clark Coleman authored 6 years ago
  
  b3eb8709
- Merge branch 'loop_memory_analysis' into 'master' · 046d031b
  Clark Coleman authored 6 years ago
  
  Minor fixes and speedups. See merge request allnp/SMPStaticAnalyzer!12
  046d031b
- Minor fixes and speedups. · b1fe4e49
  Clark Coleman authored 6 years ago
  
  b1fe4e49
Nov 19, 2018
- Merge branch 'thanos_support' into 'master' · a49addbc
  Matthew McGill authored 6 years ago
  
  Thanos support See merge request allnp/SMPStaticAnalyzer!11
  a49addbc
Nov 16, 2018
- Merge branch 'loop_memory_analysis' into 'master' · 74ea3f48
  Clark Coleman authored 6 years ago
  
  Loop memory analysis See merge request allnp/SMPStaticAnalyzer!10
  74ea3f48
- Generalize memory annotations to static and stack reads and writes. · cac5dd22
  Clark Coleman authored 6 years ago
  
  cac5dd22
- Merge branch 'master' into thanos_support · a1ad76c8
  Jason Hiser authored 6 years ago
  
  a1ad76c8
Nov 13, 2018
- corrected path to libehp · e86d0b03
  Jason Hiser authored 6 years ago
  
  e86d0b03
Nov 07, 2018
- Update README.txt, somewhat modern by cutting a ton of old stuff out. · 2aa2a42b
  Jason Hiser authored 6 years ago
  
  2aa2a42b
- Generalize loop memory write analyses, improve symbolic analyses. · a198edb9
  Clark Coleman authored 6 years ago
  
  a198edb9
Nov 06, 2018
- submod · 26d75307
  Jason Hiser authored 6 years ago
  
  26d75307
Nov 02, 2018
- build libstars as a .so instead of a .a, updated gitignore to correspond · 37f3d85c
  Jason Hiser authored 6 years ago
  
  37f3d85c
Oct 27, 2018
- submod · e22452d1
  Jason Hiser authored 6 years ago
  
  e22452d1
Oct 26, 2018
- submod · 3c1846ca
  Jason Hiser authored 6 years ago
  
  3c1846ca
Oct 24, 2018
- WIP for memory range annotations; add constant propagation to STARS_Option_t. · 790b26f9
  Clark Coleman authored 6 years ago
  
  790b26f9
Oct 19, 2018
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · db443d65
  Jessica Jones authored 6 years ago
  
  db443d65
Oct 16, 2018
- Begin move_globals support via generalizing loop analyses to analyze static global memory writes. · 7ecdd710
  Clark Coleman authored 6 years ago
  
  7ecdd710
Oct 09, 2018
- support building (still in 64-bit mode) on x86-32 · 67c38af8
  Jason Hiser authored 6 years ago
  
  67c38af8
Oct 08, 2018
- submod · f46dec02
  Jessica Jones authored 6 years ago
  
  f46dec02
Oct 06, 2018
- Fix IRDB read/written bits on invisible operand opcodes like div, mul, and cqo. · 1ea968ee
  Clark Coleman authored 6 years ago
  
  1ea968ee
- Merge branch 'scons_changes' into 'master' · a3d39fbe
  Clark Coleman authored 6 years ago
  
  Scons changes for libehp linking See merge request allnp/SMPStaticAnalyzer!9
  a3d39fbe
- Merge branch 'scons_changes' of git.zephyr-software.com:allnp/SMPStaticAnalyzer into scons_changes · 025dd608
  Clark Coleman authored 6 years ago
  
  025dd608
- Disable libehp use until ready for deeper analysis. · 64d230b0
  Clark Coleman authored 6 years ago
  
  64d230b0
- another way to do it · 7c5a4af1
  Jason Hiser authored 6 years ago
  
  7c5a4af1
Oct 05, 2018
- addressed libehp building problems · 98a23287
  Jason Hiser authored 6 years ago
  
  98a23287
- Experimenting with scons for libehp linking. · 036b2a64
  Clark Coleman authored 6 years ago
  
  036b2a64
- submod · d6a28f92
  Jason Hiser authored 6 years ago
  
  d6a28f92
Sep 28, 2018
- Added libehp submodule. · bbd6bc23
  Clark Coleman authored 6 years ago
  
  bbd6bc23
- Increase robustness when there is no fall-through inst (capstone problem on... · de3552aa
  Clark Coleman authored 6 years ago
  
  Increase robustness when there is no fall-through inst (capstone problem on nop followed by prefetch).
  de3552aa
Sep 25, 2018
- Convert STARS IDA7 to C++11 build. · 3811ad76
  Clark Coleman authored 6 years ago
  
  3811ad76