Commits · 5addebcb92a376d10cef7e8bb608b5bd94d616bf · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

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
Apr 06, 2017
- Control flow analysis improvements. · 6d806aa9
  clc5q authored 8 years ago
  6d806aa9
Apr 02, 2017
- More control flow analysis improvements for if-then-else statements. · 0a372265
  clc5q authored 8 years ago
  0a372265
Mar 31, 2017
- Improved control flow analyses. · be4b6ecb
  clc5q authored 8 years ago
  be4b6ecb
Mar 29, 2017
- Emit SPARK incoming reg location info for regs that get copied to mem write... · ed0de764
  clc5q authored 8 years ago
  ed0de764
Mar 28, 2017
- Refactor code for loop preconditions, including all memory exprs, internal and inherited. · 06123212
  clc5q authored 8 years ago
  06123212
Mar 27, 2017
- Refactor SPARK output methods; handle symbolic analysis of indirect memory operands. · 38ef90a3
  clc5q authored 8 years ago
  38ef90a3
Mar 26, 2017
- SPARK contracts for inheritance of the PreservedRegs property in the call chain. · 6c84c228
  clc5q authored 8 years ago
  6c84c228
Mar 24, 2017
- SPARK loop analyses for sha benchmark, lower levels of the call graph. · 767fe623
  clc5q authored 8 years ago
  767fe623
Mar 20, 2017
- Combine SPARK loop memory exprs with common addressing registers but varying immediate offsets. · 03b64ed8
  clc5q authored 8 years ago
  03b64ed8
Mar 17, 2017
- SPARK translation improvements. · e657a849
  clc5q authored 8 years ago
  e657a849
Mar 16, 2017
- SPARK translation; generalize Expandperand(). · fc6b4549
  clc5q authored 8 years ago
  fc6b4549
Mar 14, 2017
- SPARK refactoring for loop output; diagnostic output improvements to log. · eb04e4e9
  clc5q authored 8 years ago
  eb04e4e9
Mar 10, 2017
- SPARK translation updates. · c6bed551
  clc5q authored 8 years ago
  c6bed551
- SPARK: Handle loop-invariant writes inside loops. · 97792006
  clc5q authored 8 years ago
  97792006
Mar 06, 2017
- Improve inheritance of SPARK contracts. · f48dceb5
  clc5q authored 8 years ago
  f48dceb5
Mar 04, 2017
- SPARK updates and RTL precision updates for looping string opcodes. · cfa9d111
  clc5q authored 8 years ago
  cfa9d111
Mar 01, 2017
- SPARK translation work for the sha test case. · b77034fb
  clc5q authored 8 years ago
  b77034fb
Feb 16, 2017
- Add command-line option to trigger reduced analysis mode for large binaries... · ad669c23
  clc5q authored 8 years ago
  ad669c23