Commits · 54cd8f8786bd47dbbd093cc79cb95df6cb520969 · Open Source Software / SMPStaticAnalyzer

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 12, 2019
- 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 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 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
Dec 06, 2018
- Try to get STARS/IRDB to imitate STARS/IDA more closely on static memory... · 33749059
  Clark Coleman authored 6 years ago
  
  Try to get STARS/IRDB to imitate STARS/IDA more closely on static memory operand processing to help move_globals.
  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
  
  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
- 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
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 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
Jul 25, 2018
- Don't allow PLT funcs to be classified as leafs; better recognition of PLT funcs. · 268b1b50
  Clark Coleman authored 6 years ago
  
  268b1b50
Jul 21, 2018
- Improve SCCP, CONSTARG annotations, and track args to strcpy_chk() just like strcpy() is tracked. · ebe26e04
  Clark Coleman authored 6 years ago
  
  ebe26e04
Jul 20, 2018
- Fixes to SCCP and annotations for const-siz malloc buffers passed to vulnerable library functions. · 953ff0e1
  Clark Coleman authored 6 years ago
  
  953ff0e1
Jun 25, 2018
- Make methods machine independent to ease porting. · 305a7689
  Clark Coleman authored 6 years ago
  
  305a7689
May 19, 2018
- Handle duplicate basic induction variables. · b2870a07
  clc5q authored 6 years ago
  
  Former-commit-id: fc1c3648e97f564c29fe5c6c117d8d36e4744b50
  b2870a07
May 15, 2018
- Output more alarms, exclude segregs from data flow operand category. · 5f738e50
  clc5q authored 6 years ago
  
  Former-commit-id: 3c2818998ead6beb6ec4f163192336c8dee8711e
  5f738e50
May 12, 2018
- Speedup of AliasAnalysis (finally a major improvement). · 6f661ee1
  clc5q authored 6 years ago
  
  Former-commit-id: d2a840cc03c5c98996028120bbb248315393e42b
  6f661ee1
May 10, 2018
- Fixes for STACKMEMRANGE annotations. · 346ea71b
  clc5q authored 6 years ago
  
  Former-commit-id: e1f14134c403f0b61511e7688d564d1698cc9b2d
  346ea71b
May 09, 2018

Code clean-up. · 129a7fcb

clc5q authored 6 years ago

Former-commit-id: abb88d6f34155f7a21f0eaf0d9c73600a6819ce6

129a7fcb

Emit STACKMEMRANGE annotations for StackPtrCopy instructions. · d559c37f
clc5q authored 6 years ago
```
Former-commit-id: 22a5b0e34d0ab559c08bd6a7c226b1c659ef3abd
```
d559c37f

Formatting of STACKMEMRANGE annotations, prep work for emitting those... · 6de342b4

clc5q authored 6 years ago

Formatting of STACKMEMRANGE annotations, prep work for emitting those annotationg for StackPtrCopy instructions involved in mem writes.

Former-commit-id: 9a987eac0ad409cc3dfd2ecb8052f34f14d55c8a

6de342b4

May 07, 2018
- Emit first STACKMEMRANGE annotations. · 26720291
  clc5q authored 6 years ago
  
  Former-commit-id: dbbd52cc7d9378d54f932fbfaa1c53840573653f
  26720291
Apr 20, 2018
- Speed-up of AliasAnalysis(). · 6ae6d1f7
  clc5q authored 6 years ago
  
  Former-commit-id: cd37eab99429883037c68cf4c2ed05ac4a78871e
  6ae6d1f7