Commits · a9a162a95772eb179b3a2bf1c1784ea454bcefc3 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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. · 4a9d7c27
  Clark Coleman authored 6 years ago
  
  4a9d7c27
- 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 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 10, 2018
- Fixes for STACKMEMRANGE annotations. · 346ea71b
  clc5q authored 6 years ago
  346ea71b
May 09, 2018
- 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 06, 2018
- Drive SPARK translation from command-line option. · 997b89e6
  clc5q authored 7 years ago
  997b89e6
Apr 04, 2018
- 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
- better warning handling · 73d78e40
  jdh8d authored 7 years ago
  73d78e40
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
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 15, 2018
- Handle the insane deletion of two opcodes in IDA Pro 7.0. · 33e50cc0
  clc5q authored 7 years ago
  33e50cc0
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
Dec 05, 2017
- fixed openfiles bug in irdb interface regarding opensecondaryfiles · b928b27b
  jdh8d authored 7 years ago
  b928b27b
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
Aug 28, 2017
- Fix compilation problems in Ubuntu 17 with latest g++ by moving IDA Pro includes after all others. · b2d7f1f0
  clc5q authored 7 years ago
  b2d7f1f0
Aug 10, 2017
- Trace fptrs back to constant operands, emit COMPLETE xref annotations if all... · cf0f5d4f
  clc5q authored 7 years ago
  cf0f5d4f
Aug 08, 2017
- Add ImproveCFG option, emit CONSTARG annotations. · 1fd74592
  clc5q authored 7 years ago
  1fd74592
Aug 04, 2017
- Improve type inference debug output for SMPTypeMeet errors. · 54278cbb
  clc5q authored 7 years ago
  54278cbb
Jul 20, 2017
- More fixes for expression simplification. · 8f1336fe
  clc5q authored 7 years ago
  8f1336fe
Jul 17, 2017
- Fixes for loop analyses across regression tests. · fa9d667b
  clc5q authored 7 years ago
  fa9d667b
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
  5e39d036
May 01, 2017
- Use references instead of pointers for STARS optins · 77934728
  an7s authored 7 years ago
  77934728
Apr 29, 2017
- Pass options to STARS/IRDB. · bbe09d64
  clc5q authored 7 years ago
  bbe09d64
Apr 22, 2017
- Implement critical argument shadowing defense. · 84d2b183
  clc5q authored 8 years ago
  84d2b183
Apr 21, 2017
- Add command-line options for func ptr and arg shadowing, make common code for... · d99cad76
  clc5q authored 8 years ago
  d99cad76