Commits · d002c3cb810840bfb5136ae8f92979827f1affa3 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Mar 21, 2019
- Corner case fix to support LAF; BinaryRTL() building cleanup. · 63c3799f
  Clark Coleman authored 6 years ago
  
  63c3799f
Feb 24, 2019
- Back off some memory leak fixes to prevent double-delete issues in STARS IRDB. · 4acb3099
  Clark Coleman authored 6 years ago
  
  4acb3099
Feb 23, 2019
- Fix some memory leaks. · 54cd8f87
  Clark Coleman authored 6 years ago
  
  54cd8f87
Feb 12, 2019
- Propagate assertion fix to second location. · 62576ee6
  Clark Coleman authored 6 years ago
  
  62576ee6
Feb 11, 2019
- Fix assertion problem on indexed stack accesses with baser offset outside stack frame. · 2e730e89
  Clark Coleman authored 6 years ago
  
  2e730e89
Jan 17, 2019
- Operand normalization fix. · 8b08e4ed
  Clark Coleman authored 6 years ago
  
  8b08e4ed
- Improve tracking of init values for STATICMEMWRITE annotations. · 035a2558
  Clark Coleman authored 6 years ago
  
  035a2558
Jan 12, 2019
- porting some more functionality to ARM64 · 19db9ed5
  Jason Hiser authored 6 years ago
  
  19db9ed5
- Robustness fix for fix_calls binaries. · 836322ce
  Clark Coleman authored 6 years ago
  
  836322ce
Jan 10, 2019
- Add SENTINEL annotations for compare or test instructions in loops that don't... · d009f746
  Clark Coleman authored 6 years ago
  d009f746
Jan 04, 2019
- Increase memory annotations by tracing to the initial value for address regs... · c1f3b0d2
  Clark Coleman authored 6 years ago
  c1f3b0d2
Dec 31, 2018
- code cleanups + limit messages about bad rtls to 100 · 48bed873
  Jason Hiser authored 6 years ago
  
  48bed873
Dec 28, 2018
- added initial ARM support by specifying DFAControl flow information for ARM · e86e7057
  Jason Hiser authored 6 years ago
  
  e86e7057
Dec 27, 2018
- added STARSxrefs output for refs to code/data in code. · bfae781e
  Jason Hiser authored 6 years ago
  
  bfae781e
Dec 24, 2018
- Improved induction variable identification for optimized binary code patterns. · a04dd127
  Clark Coleman authored 6 years ago
  
  a04dd127
- Track constant InArg values, use them in expression simplification. · bd2d6c56
  Clark Coleman authored 6 years ago
  
  bd2d6c56
Dec 19, 2018
- Make StackPtrCopySet more robust, exclude bad entries to avoid assertion failures. · 91f1500b
  Clark Coleman authored 6 years ago
  
  91f1500b
Dec 15, 2018
- Compute loop follow nodes better; separate follow node errors from more... · 2a8ed7d5
  Clark Coleman authored 6 years ago
  2a8ed7d5
Dec 12, 2018
- Analyze indirect mem reads in case they resolve to static mem reads. · d73db27a
  Clark Coleman authored 6 years ago
  
  d73db27a
Dec 07, 2018
- Increase robustness, fix crashes. · 72e2f136
  Clark Coleman authored 6 years ago
  
  72e2f136
Dec 06, 2018
- Try to get STARS/IRDB to imitate STARS/IDA more closely on static memory... · 33749059
  Clark Coleman authored 6 years ago
  33749059
Dec 01, 2018
- Fix STARS-IRDB handling of various floating point and SSE operands. · 8f0a08f5
  Clark Coleman authored 6 years ago
  
  8f0a08f5
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
- Fixed-call-push robustness fix; minor speedup; add loop analysis diagnostic counters. · b3eb8709
  Clark Coleman authored 6 years ago
  
  b3eb8709
- Minor fixes and speedups. · b1fe4e49
  Clark Coleman authored 6 years ago
  
  b1fe4e49
Nov 16, 2018
- Generalize memory annotations to static and stack reads and writes. · cac5dd22
  Clark Coleman authored 6 years ago
  
  cac5dd22
Nov 07, 2018
- Generalize loop memory write analyses, improve symbolic analyses. · a198edb9
  Clark Coleman authored 6 years ago
  
  a198edb9
Oct 24, 2018
- WIP for memory range annotations; add constant propagation to STARS_Option_t. · 790b26f9
  Clark Coleman authored 6 years ago
  
  790b26f9
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 06, 2018
- Fix IRDB read/written bits on invisible operand opcodes like div, mul, and cqo. · 1ea968ee
  Clark Coleman authored 6 years ago
  
  1ea968ee
Sep 25, 2018
- Prepare for use of libehp to get EH_FRAME section info. · 7fe27636
  Clark Coleman authored 6 years ago
  
  7fe27636
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
  3b56cf16
Sep 03, 2018
- Begin using IDA Pro catch block addrs to improve CFG. · bb0819aa
  Clark Coleman authored 6 years ago
  
  bb0819aa
Aug 10, 2018
- Fix fall-through and conditional tail call code in SMPFunction::ComputeReturnTargets(). · a0694899
  Clark Coleman authored 6 years ago
  
  a0694899
Aug 05, 2018
- RTL cleanup for floating point opcodes. · ec84d76d
  Clark Coleman authored 6 years ago
  
  ec84d76d
Aug 01, 2018
- Build RTLs and better handle 8087 floating point opcodes. · c83f278c
  Clark Coleman authored 6 years ago
  
  View commits for tag CFAR_AEI CFAR_AEI
  
  c83f278c