Commits · fd47e417ffcc245d6239c3b5d762c0a7dcec8607 · Open Source Software / SMPStaticAnalyzer

Feb 23, 2018

revised stars/irdb interface to use new operand format, adjusted isWritten... · fd47e417

jdh8d authored 7 years ago

 revised  stars/irdb interface to use new operand format, adjusted isWritten to reflect a much larger set of (explicit) no-write instructions

Former-commit-id: 0ceda64ed7acddf6e3af67765312dd483fa38711

fd47e417

fix mul/div/imul/idiv libdecode->stars-op conversion · 634a497b
jdh8d authored 7 years ago
```
Former-commit-id: 849ff7a3a42c197a3f690f9c66d80f2b1042b712
```
634a497b

Feb 22, 2018
- fixed push/pop calls to match standardized operand definition · d03645f5
  jdh8d authored 7 years ago
  
  Former-commit-id: 6842f166a7409c891fbb58dcadaa056982520e80
  d03645f5
Feb 21, 2018
- Moved DecodedInstruction_t into core. · d043a993
  jdh8d authored 7 years ago
  
  Former-commit-id: 5e4d029bd7ed2ba74ca6608affb0301a072bf497
  d043a993
Feb 19, 2018
- added getAddress and hasRepPrefix support to capstone · 12d167a2
  jdh8d authored 7 years ago
  
  Former-commit-id: 939c01951a64c43cb0c46ef19ee2361a9269568c
  12d167a2
Feb 16, 2018

Fixed pedi issue where dependencies weren't calculated right, and added the... · f8cd9c36

jdh8d authored 7 years ago

Fixed pedi issue where dependencies weren't calculated right, and added the mnemonic aliases for the mnemonic->stars_opcode enum conversion

Former-commit-id: c4454e6c2754973c7d2f15ef5c5b5f291d9c521e

f8cd9c36

Handle two opcodes removed in IDA Pro 7.0 in macro use here. · 38363193
clc5q authored 7 years ago
```
Former-commit-id: 14b37092b20f39d342c0aeaba89c618d97681f54
```
38363193

Feb 15, 2018
- Handle the insane deletion of two opcodes in IDA Pro 7.0. · 33e50cc0
  clc5q authored 7 years ago
  
  Former-commit-id: 3e7c2fcb51009cceb1198018daeb1b59b3c5327a
  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
  
  Former-commit-id: cafdc6c48b96c549a52794dbb7ef3cf2b09dedc3
  645d283a
Feb 10, 2018
- converted stars/irdb to use libIRDB-decode · 12281c4e
  jdh8d authored 7 years ago
  
  Former-commit-id: e4bf83af48c99d9060bc410fe276817fda392cdd
  12281c4e
Feb 01, 2018
- changed to remove BEA engine from API · 2d592bb0
  jdh8d authored 7 years ago
  
  Former-commit-id: 8ef716f613633289a736ef39894ed7705ab80d7c
  2d592bb0
Nov 30, 2017
- Updates to handle IDA Pro 7.0 release. · d073ab12
  clc5q authored 7 years ago
  
  Former-commit-id: 33bcf1b3f2abc33e6df79221c8baabe40c5a495e
  d073ab12
Oct 02, 2017
- Port to IDA Pro 7.0. · 4327f38f
  clc5q authored 7 years ago
  
  Former-commit-id: 2dd0ed8311dabb07beb350616887c74946a73d65
  4327f38f
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 28, 2017
- Fix the fix for Ubuntu 17. · 0284e149
  clc5q authored 7 years ago
  
  Former-commit-id: c666dec9386cfbb826f542af882c40d96ba265d9
  0284e149
- Fix compilation problems in Ubuntu 17 with latest g++ by moving IDA Pro includes after all others. · b2d7f1f0
  clc5q authored 7 years ago
  
  Former-commit-id: ec6b836255ad6466c6d2a66c52570ddfc6221a7c
  b2d7f1f0
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 21, 2017
- Fix RTL building for into and int3 opcodes, which have no operands. · 2a0b0f48
  clc5q authored 7 years ago
  
  Former-commit-id: 4c643be0e465cc036dbe2bcd76b91b8fabd35f43
  2a0b0f48
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
May 08, 2017
- Fixes for argument and fptr shadowing. · 0a6cd1cd
  clc5q authored 7 years ago
  
  Former-commit-id: a529019e1411936230aa719f7c14430d4cb1b50f
  0a6cd1cd
May 04, 2017
- Improve argument shadowing. · 5cc6e12e
  clc5q authored 7 years ago
  
  Former-commit-id: 81e13fd1fcf658c2ab8461d5d15f0d3d726605d6
  5cc6e12e
May 01, 2017
- Use references instead of pointers for STARS optins · 77934728
  an7s authored 7 years ago
  
  Former-commit-id: 9b485bb3f4a25fd36f7b006673a1125589ec16bd
  77934728
Apr 29, 2017
- Pass options to STARS/IRDB. · bbe09d64
  clc5q authored 7 years ago
  
  Former-commit-id: b43822b74d3d17ee634ab79c7b25f05275ee75ff
  bbe09d64
Apr 22, 2017
- Implement critical argument shadowing defense. · 84d2b183
  clc5q authored 7 years ago
  
  Former-commit-id: 050776c085eac062c9b378076118d996345544f6
  84d2b183
Apr 21, 2017

Add command-line options for func ptr and arg shadowing, make common code for... · d99cad76

clc5q authored 7 years ago

Add command-line options for func ptr and arg shadowing, make common code for those two defenses; minor SPARK work.

Former-commit-id: bdd21a76912de7e4bf171bc5543218ae1b20e871

d99cad76

Apr 06, 2017
- Control flow analysis improvements. · 6d806aa9
  clc5q authored 7 years ago
  
  Former-commit-id: e34d931d4545e94912d14e8db3eabe51127e9411
  6d806aa9
Apr 02, 2017
- More control flow analysis improvements for if-then-else statements. · 0a372265
  clc5q authored 7 years ago
  
  Former-commit-id: ee1904214c1c9d2eb4b3ecf9e26d4a367049a344
  0a372265
Mar 31, 2017
- Improved control flow analyses. · be4b6ecb
  clc5q authored 7 years ago
  
  Former-commit-id: 7dc9f626c3d43d11bacd471e3a95e52a68e9a889
  be4b6ecb
Mar 29, 2017

Emit SPARK incoming reg location info for regs that get copied to mem write... · ed0de764

clc5q authored 7 years ago

Emit SPARK incoming reg location info for regs that get copied to mem write address regs in the loop.

Former-commit-id: ab95603a28557cf76630156e5e5ce7d01895f37c

ed0de764

Mar 28, 2017
- Refactor code for loop preconditions, including all memory exprs, internal and inherited. · 06123212
  clc5q authored 7 years ago
  
  Former-commit-id: e1619ec14233a7610bdfde16c614c05eed286aee
  06123212
Mar 27, 2017
- Refactor SPARK output methods; handle symbolic analysis of indirect memory operands. · 38ef90a3
  clc5q authored 8 years ago
  
  Former-commit-id: 601efff35a675d3b1a85f201fdc095daf32206ee
  38ef90a3