Commits · f98f20a1bc7db393ec0b9545d181bd8910e74697 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Aug 24, 2020
- Crash fix: Handle COND_BRANCH back to entry of function in finding stack adjustments. · f98f20a1
  Clark Coleman authored 4 years ago
  
  f98f20a1
Aug 23, 2020
- Fix crashes on SPARK translation of large binaries. · 56dbd452
  Clark Coleman authored 4 years ago
  
  56dbd452
Jan 30, 2020
- Improve debugging output. · c03d6eac
  Clark Coleman authored 5 years ago
  
  c03d6eac
Jan 14, 2020
- Add dot CFG output; add debugging output; fix for stack pointer analysis on recursive functions. · 3845aaa3
  Clark Coleman authored 5 years ago
  
  3845aaa3
Dec 10, 2019
- Fixes for stack pointer analysis corner cases. · 64f75879
  Clark Coleman authored 5 years ago
  
  64f75879
Aug 03, 2019
- Robust fixes for fixed-call fallthroughs and CFG problems from function ID errors. · 82814b80
  Clark Coleman authored 5 years ago
  
  82814b80
Jul 22, 2019
- Add GetFuncID() method, use func IDs in *.STARSloops annotations. · 8275e31d
  Clark Coleman authored 5 years ago
  
  8275e31d
- Emit *.STARSloops output file with loop nest info. · bcc17a67
  Clark Coleman authored 5 years ago
  
  bcc17a67
May 30, 2019
- Stack frame analysis fix when push occurs after frame alloc. · c83b6209
  Clark Coleman authored 5 years ago
  
  c83b6209
May 06, 2019
- arm32 update to avoid SetInterrupt when it shouldn't be set · 85c3ed12
  Jason Hiser authored 5 years ago
  
  85c3ed12
May 03, 2019
- unique_ptr fix, log file ERROR message enhancement and reduction. · 795593b0
  Clark Coleman authored 5 years ago
  
  795593b0
May 02, 2019
- arm32 support · 4e8f14c9
  Jason Hiser authored 5 years ago
  
  4e8f14c9
May 01, 2019
- Convert STARSInstrPtr in SMPInstr to unique_ptr. · 44e9380d
  Clark Coleman authored 5 years ago
  
  44e9380d
Apr 29, 2019
- Continue work on memory leaks; re-do STARS_IRDB_Instruction_t freeing. · 3981482a
  Clark Coleman authored 5 years ago
  
  3981482a
Apr 20, 2019
- Minor memory leak fixes; pointer cleanup; Xrefs annotation fix. · a4ebf5ef
  Clark Coleman authored 5 years ago
  
  a4ebf5ef
Apr 17, 2019
- Add virtual memory tracking output. · 69746948
  Clark Coleman authored 5 years ago
  
  69746948
Apr 12, 2019
- Avoid adding hidden EDX operand on imul opcodes with explicit operand list. · 0a63e27b
  Clark Coleman authored 5 years ago
  
  0a63e27b
- Avoid adding hidden EDX operand on 8-bit multiply opcodes. · d413777e
  Clark Coleman authored 5 years ago
  
  d413777e
- Avoid adding hidden EDX operand on IRDB uses of 8-bit multiply opcodes. · e22e5079
  Clark Coleman authored 5 years ago
  
  e22e5079
Apr 09, 2019
- Add debugging capabilities for DEADREGS annotations via environment variables. · 24f3e58e
  Clark Coleman authored 5 years ago
  
  24f3e58e
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
  
  Add SENTINEL annotations for compare or test instructions in loops that don't use the last value of the induction var.
  d009f746
Jan 04, 2019

Increase memory annotations by tracing to the initial value for address regs... · c1f3b0d2

Clark Coleman authored 6 years ago

Increase memory annotations by tracing to the initial value for address regs on memory access instructions that have no annotations.

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
  
  Compute loop follow nodes better; separate follow node errors from more serious unstructured CFG errors.
  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