Commits · 1f1fd3c9efb9414150d2501adcb6fb97af810048 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Nov 29, 2018
- additions to 1) print number of instructions and operands created, destroyed, ... · 1f1fd3c9
  Jason Hiser authored 6 years ago
  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
  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
  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
  a49addbc
Nov 16, 2018
- Merge branch 'loop_memory_analysis' into 'master' · 74ea3f48
  Clark Coleman authored 6 years ago
  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
  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
  de3552aa
Sep 25, 2018
- Convert STARS IDA7 to C++11 build. · 3811ad76
  Clark Coleman authored 6 years ago
  
  3811ad76
- Prepare for use of libehp to get EH_FRAME section info. · 7fe27636
  Clark Coleman authored 6 years ago
  
  7fe27636
Sep 22, 2018
- For prefetchnta opcode, handle beaengine or capstone mnemonics properly. · f42ae844
  Clark Coleman authored 6 years ago
  
  f42ae844
Sep 21, 2018
- Fix RTLs for all four mul/imul/div/idiv opcodes. · 200dece4
  Clark Coleman authored 6 years ago
  
  200dece4