Commits · cac5dd22b577374dd96f9f191ce2c4c094273467 · Open Source Software / SMPStaticAnalyzer

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

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
Apr 12, 2018

Avoid infinite looping on FindConditionalBranchTerminus(); only Dump()... · c58908ab

clc5q authored 6 years ago

Avoid infinite looping on FindConditionalBranchTerminus(); only Dump() SPARK-failing functions in verbose loops mode.

Former-commit-id: a993b29d0a4924ed8fad2c35ca8ae1385f10ce6d

c58908ab

Apr 08, 2018
- Fix InheritCalleeMemRangeExpr(). · 12160a49
  clc5q authored 6 years ago
  
  Former-commit-id: fe2398080a66fae0a84420cc73be64df6c3ef295
  12160a49
Apr 06, 2018
- Drive SPARK translation from command-line option. · 997b89e6
  clc5q authored 6 years ago
  
  Former-commit-id: c6113e62f4c9c1f8c246ec8f6619a7da14346380
  997b89e6
Apr 04, 2018
- Make verbose loop analysis output depend on environment var STARS_VERBOSE_LOOPS. · d8dbfd90
  clc5q authored 6 years ago
  
  Former-commit-id: 5d1bbf9cee8365e79a9b3f2a7f58fee59b7f92f0
  d8dbfd90
Apr 01, 2018
- Add command-line option for deep loop analyses. · 0cc1cfbf
  clc5q authored 7 years ago
  
  Former-commit-id: fcfc0eb3841387b6b26c1934e0766bdccde6a130
  0cc1cfbf
Mar 17, 2018
- better warning handling · 73d78e40
  jdh8d authored 7 years ago
  
  Former-commit-id: a64974349267da832a467d1564cfd8d72229d8b2
  73d78e40
Feb 19, 2018
- added getAddress and hasRepPrefix support to capstone · 12d167a2
  jdh8d authored 7 years ago
  
  Former-commit-id: 939c01951a64c43cb0c46ef19ee2361a9269568c
  12d167a2
Feb 14, 2018
- Bug fix; don't generate extra ASM file (speedup); generate SWITCHTABLE xrefs even in reduced mode. · 645d283a
  clc5q authored 7 years ago
  
  Former-commit-id: cafdc6c48b96c549a52794dbb7ef3cf2b09dedc3
  645d283a
Sep 08, 2017
- Fix SCCP errors; enable more compiler warnings, add a couple of warning fixes. · 667922a7
  clc5q authored 7 years ago
  
  Former-commit-id: f314e9dfb916fb4af72ea81cd7c31124dc1a3839
  667922a7
Aug 23, 2017
- Fix double free in Reduced mode. · b2d5c305
  clc5q authored 7 years ago
  
  Former-commit-id: f94101f9f43c0609a773dd54bf9c8570932f75fe
  b2d5c305
Aug 11, 2017
- Fix use of ImproveCFG flag. · dba19f11
  clc5q authored 7 years ago
  
  Former-commit-id: bb583e2a18d285c4714ce33230f3e6efa8b2c9b3
  dba19f11
Aug 10, 2017
- Fix constant tracing for func ptrs and handle conditional move tracing. · 56dc7fc6
  clc5q authored 7 years ago
  
  Former-commit-id: 8b168e63aac8ff541f7a3e3899be1800087469d4
  56dc7fc6
- Trace fptrs back to constant operands, emit COMPLETE xref annotations if all... · cf0f5d4f
  clc5q authored 7 years ago
  
  Trace fptrs back to constant operands, emit COMPLETE xref annotations if all traces lead to constants. Former-commit-id: 29251dbd5a2fffa953d7477cf782e8f0426406bf
  cf0f5d4f
Aug 08, 2017
- Add ImproveCFG option, emit CONSTARG annotations. · 1fd74592
  clc5q authored 7 years ago
  
  Former-commit-id: 901de2942253867b9104de72de579ff42a34fb18
  1fd74592
Aug 04, 2017
- Improve type inference debug output for SMPTypeMeet errors. · 54278cbb
  clc5q authored 7 years ago
  
  Former-commit-id: 006f0b47220b8e8fd97e78c8ad8e955384232c66
  54278cbb
Jul 27, 2017
- Minor tweak to type inference; enhanced debug output. · 471d2cc2
  clc5q authored 7 years ago
  
  Former-commit-id: c181f5e05fed3ac6db2db5ecaf0d73eeb2d08863
  471d2cc2
Jul 20, 2017
- More fixes for expression simplification. · 8f1336fe
  clc5q authored 7 years ago
  
  Former-commit-id: 9459a6a63b32a1416e8bc5645866751c74a8be8f
  8f1336fe
Jul 17, 2017
- Fixes for loop analyses across regression tests. · fa9d667b
  clc5q authored 7 years ago
  
  Former-commit-id: 1a4ff933d0c4d5ce68b1e9726026c1c12922025c
  fa9d667b
Jul 04, 2017
- SPARK cleanup, and fixes for FindConditionalFollowNode(). · 7000b465
  clc5q authored 7 years ago
  
  Former-commit-id: 0fe7e9297b16fde689d9a5674e82ada9cbb24c13
  7000b465
May 27, 2017
- Handle mem exprs with global static mem writes, and other fixes for test case synthetic.c. · 5e39d036
  clc5q authored 7 years ago
  
  Former-commit-id: c6543a879f251195e4314e9d4c6b8b44cb92c0b9
  5e39d036