Commits · 4a9d7c274db9b1ae4c1cc470e66e14fcdb69cbd8 · Open Source Software / SMPStaticAnalyzer

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
Jun 01, 2018
- Add braces in else clauses. · f2f9e7a2
  Will Hawkins authored 6 years ago
  
  f2f9e7a2
May 27, 2018
- Trivial speedup; learning git. · 0e66d540
  Clark Coleman authored 6 years ago
  0e66d540
May 19, 2018
- Handle duplicate basic induction variables. · b2870a07
  clc5q authored 6 years ago
  b2870a07
May 15, 2018
- Output more alarms, exclude segregs from data flow operand category. · 5f738e50
  clc5q authored 6 years ago
  5f738e50
May 12, 2018
- Speedup of AliasAnalysis (finally a major improvement). · 6f661ee1
  clc5q authored 6 years ago
  6f661ee1
May 10, 2018
- Fixes for STACKMEMRANGE annotations. · 346ea71b
  clc5q authored 6 years ago
  346ea71b
May 09, 2018
- Code clean-up. · 129a7fcb
  clc5q authored 6 years ago
  129a7fcb
- Emit STACKMEMRANGE annotations for StackPtrCopy instructions. · d559c37f
  clc5q authored 6 years ago
  d559c37f
- Formatting of STACKMEMRANGE annotations, prep work for emitting those... · 6de342b4
  clc5q authored 6 years ago
  6de342b4
May 07, 2018
- Emit first STACKMEMRANGE annotations. · 26720291
  clc5q authored 6 years ago
  26720291
Apr 20, 2018
- Speed-up of AliasAnalysis(). · 6ae6d1f7
  clc5q authored 7 years ago
  6ae6d1f7
Apr 12, 2018
- Avoid infinite looping on FindConditionalBranchTerminus(); only Dump()... · c58908ab
  clc5q authored 7 years ago
  c58908ab
Apr 08, 2018
- Fix InheritCalleeMemRangeExpr(). · 12160a49
  clc5q authored 7 years ago
  12160a49
Apr 06, 2018
- Drive SPARK translation from command-line option. · 0d9c0bde
  clc5q authored 7 years ago
  0d9c0bde
- Drive SPARK translation from command-line option. · 997b89e6
  clc5q authored 7 years ago
  997b89e6
Apr 04, 2018
- Reduce spurious ERROR logs. · 6908402f
  clc5q authored 7 years ago
  6908402f
- Make verbose loop analysis output depend on environment var STARS_VERBOSE_LOOPS. · d8dbfd90
  clc5q authored 7 years ago
  d8dbfd90
Apr 01, 2018
- Add command-line option for deep loop analyses. · 0cc1cfbf
  clc5q authored 7 years ago
  0cc1cfbf
Mar 17, 2018
- Minor fixes from 14.04 · f02d9d4f
  jdh8d authored 7 years ago
  f02d9d4f
- better warning handling · 73d78e40
  jdh8d authored 7 years ago
  73d78e40
Mar 01, 2018
- Build RTLs for a few more opcodes we have never seen in a binary. · 9800db3c
  clc5q authored 7 years ago
  9800db3c
Feb 28, 2018
- Handle 4-operand AMD Fused-multiply-add opcodes. · 4e34084c
  clc5q authored 7 years ago
  4e34084c
Feb 27, 2018
- Build RTLs for more opcodes. · 5addebcb
  clc5q authored 7 years ago
  5addebcb
Feb 23, 2018
- Improvements for stars type numbers, and capstone->stars operand conversions. · 8ef7a34d
  jdh8d authored 7 years ago
  8ef7a34d
- revised stars/irdb interface to use new operand format, adjusted isWritten... · fd47e417
  jdh8d authored 7 years ago
  fd47e417
- fix mul/div/imul/idiv libdecode->stars-op conversion · 634a497b
  jdh8d authored 7 years ago
  634a497b
Feb 22, 2018
- fixed push/pop calls to match standardized operand definition · d03645f5
  jdh8d authored 7 years ago
  d03645f5
Feb 21, 2018
- Moved DecodedInstruction_t into core. · d043a993
  jdh8d authored 7 years ago
  d043a993
Feb 19, 2018
- added getAddress and hasRepPrefix support to capstone · 12d167a2
  jdh8d authored 7 years ago
  12d167a2
Feb 16, 2018
- Fixed pedi issue where dependencies weren't calculated right, and added the... · f8cd9c36
  jdh8d authored 7 years ago
  f8cd9c36
- Handle two opcodes removed in IDA Pro 7.0 in macro use here. · 38363193
  clc5q authored 7 years ago
  38363193
Feb 15, 2018
- Handle the insane deletion of two opcodes in IDA Pro 7.0. · 33e50cc0
  clc5q authored 7 years ago
  33e50cc0
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
  645d283a
Feb 10, 2018
- converted stars/irdb to use libIRDB-decode · 12281c4e
  jdh8d authored 7 years ago
  12281c4e
Feb 01, 2018
- changed to remove BEA engine from API · 2d592bb0
  jdh8d authored 7 years ago
  2d592bb0
Nov 30, 2017
- Updates to handle IDA Pro 7.0 release. · d073ab12
  clc5q authored 7 years ago
  d073ab12
Oct 02, 2017
- Port to IDA Pro 7.0. · 4327f38f
  clc5q authored 7 years ago
  4327f38f
Sep 08, 2017
- Fix SCCP errors; enable more compiler warnings, add a couple of warning fixes. · 667922a7
  clc5q authored 7 years ago
  667922a7