Commits · 482e04eeb508f5c2de640f652cedef768e791408 · Open Source Software / SMPStaticAnalyzer

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
- 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
Sep 18, 2018
- Audit func boundaries vs. catch block boundaries; begin detection of global... · 3b56cf16
  Clark Coleman authored 6 years ago
  
  Audit func boundaries vs. catch block boundaries; begin detection of global var sentinel usage in loops.
  3b56cf16
Sep 07, 2018
- moved elfio to an external source submodule instead of a tarball. · 2b3ee581
  Jason Hiser authored 6 years ago
  
  2b3ee581
- Merge branch 'fix_operator' into 'master' · 2ce298e9
  Jason Hiser authored 6 years ago
  
  Operator fix See merge request allnp/SMPStaticAnalyzer!8
  2ce298e9
- Operator fix · 0e752637
  Matthew McGill authored 6 years ago
  
  0e752637
Sep 05, 2018
- Merge branch 'support_unpinned_IBTs' into 'master' · 281ba5af
  Jason Hiser authored 6 years ago
  
  Support unpinned ibts See merge request allnp/SMPStaticAnalyzer!7
  281ba5af
- Merge branch 'use_ida_eh_info' into 'master' · 95109ee1
  Clark Coleman authored 6 years ago
  
  Begin using IDA Pro catch block addrs to improve CFG. See merge request allnp/SMPStaticAnalyzer!6
  95109ee1