Commits · fae8f63a5b852d6fc823d148e3e0ab434d6df249 · Open Source Software / SMPStaticAnalyzer

Jun 11, 2015
- Continued optimization of DEDefs analysis. · 0cb1d0c2
  clc5q authored 9 years ago
  
  Former-commit-id: 6c5f793cf7abf2c5d37287b622b37dab6f418fdc
  0cb1d0c2
May 17, 2015
- Updates for idapro type removals, etc. · ba7e6832
  jdh8d authored 9 years ago
  
  Former-commit-id: 1ebff574d6ed9a3df332dd77d65031f235ea4d35
  ba7e6832
May 14, 2015
- Optimize parameter passing of shared_ptr objects. · e25f77f1
  clc5q authored 9 years ago
  
  Former-commit-id: 066cf5e996aea0fdf81ea59989dcaa8d8f355c32
  e25f77f1
May 05, 2015
- Move stack frame processing from SMPFunction to STARS_IDA_Function_t. · 3c3244bd
  clc5q authored 9 years ago
  
  Former-commit-id: bd0164d90ade36e7b03f75fc6f29525c35f7c924
  3c3244bd
May 04, 2015
- Migrate or eliminate conditionally compiled code in common modules. · 5dfb230b
  clc5q authored 9 years ago
  
  Former-commit-id: 67b81cd29422cdcd43727873f8db13f6d68329c5
  5dfb230b
Apr 30, 2015

Reduce SMPStaticAnalyzer module to an IDA Pro driver; reduce use of IDA Pro... · 474105b7

clc5q authored 9 years ago

Reduce SMPStaticAnalyzer module to an IDA Pro driver; reduce use of IDA Pro types in common modules.

Former-commit-id: d78319e21cb81dc6c03e956074ea12fb25ccc5e2

474105b7

Apr 19, 2015
- Massive conversion of IDA Pro op_t to STARS_op_t and related changes. · c8196253
  clc5q authored 9 years ago
  
  Former-commit-id: ab0514212c7a70e3c03bb6c29ff2fdcb0d23d6f6
  c8196253
Feb 15, 2015
- Phase out direct reference to IDA op_t type to prepare for IRDB version. · 463f16ee
  clc5q authored 10 years ago
  
  Former-commit-id: b99a81be26aa9434f49e4afcb107abe45cf019b3
  463f16ee
Jan 21, 2015
- Fixes for INARGS annotations for sparse use of incoming args. · c5826a77
  clc5q authored 10 years ago
  
  Former-commit-id: a987eebac155e6c9a0c0efeae7efc61892cd3328
  c5826a77
Jan 19, 2015
- Add FUNC INARGS annotations for CGC and other uses. · 3b90841e
  clc5q authored 10 years ago
  
  Former-commit-id: 4d3a4b1568426ea972afe922ddb1fb552af6775d
  3b90841e
Jan 10, 2015

Place SSA marker inst at new pseudo-addr instead of at first func addr minus... · 752e92d0

clc5q authored 10 years ago

Place SSA marker inst at new pseudo-addr instead of at first func addr minus one; fix canonicalization of x86_64 regs spl, bpl, sil and dil; fix a couple of old code glitches found in debugging.

752e92d0

Dec 09, 2014
- Moved IR building to ida-specific function · ef2af26e
  jdh8d authored 10 years ago
  
  ef2af26e
Dec 07, 2014
- No commit message · 02ce9f64
  jdh8d authored 10 years ago
  
  No commit message
  02ce9f64
Nov 28, 2014
- No commit message · cce5599c
  jdh8d authored 10 years ago
  
  No commit message
  cce5599c
Nov 26, 2014
- First full version with an interface · aad0953e
  jdh8d authored 10 years ago
  
  aad0953e
Nov 25, 2014
- First update to restructuring · b2331b07
  jdh8d authored 10 years ago
  
  b2331b07
Nov 24, 2014
- Continue work on increased SCCP precision by tracking flags separately. · 45920275
  clc5q authored 10 years ago
  
  45920275
Nov 19, 2014
- Remove blocks with call 0 instructions; re-compute SSA after removal. · f60c5b75
  clc5q authored 10 years ago
  
  f60c5b75
Nov 18, 2014

Start work on removing dead blocks with call 0 instructions; move SCCP... · 80a0cbdc

clc5q authored 10 years ago

Start work on removing dead blocks with call 0 instructions; move SCCP analysis to earlier phase right after SSA construction.

80a0cbdc

Nov 13, 2014
- Stack access DU-chain safety should not require safe callees, unlike return addr safety. · 318d33ea
  clc5q authored 10 years ago
  
  318d33ea
Nov 11, 2014
- Code cleanup; prep for increased precision in safe stack ptr copy analysis. · 12d263c6
  clc5q authored 10 years ago
  
  12d263c6
Nov 07, 2014
- Begin work to increase safe func precision, starting with WritesAboveLocalFrame conservatism. · affc97bd
  clc5q authored 10 years ago
  
  affc97bd
Oct 27, 2014
- Improve the precision of critical sink blacklisting of C1 annotations. · 111c5494
  clc5q authored 10 years ago
  
  111c5494
Oct 21, 2014
- Process *.eh_frame_addrs file. · 7f17c255
  clc5q authored 10 years ago
  
  7f17c255
Oct 16, 2014
- Declare functions unsafe for fast returns if they are multi-entry or have... · d0f7cde1
  clc5q authored 10 years ago
  
  Declare functions unsafe for fast returns if they are multi-entry or have unresolved indirect branches.
  d0f7cde1
Oct 15, 2014
- Reduce memory consumption for wireshark and other huge binaries; clean up code. · a5dea8bc
  clc5q authored 10 years ago
  
  a5dea8bc
Oct 14, 2014
- Correctly identify leaf functions and tail calls. · 688b32f6
  clc5q authored 10 years ago
  
  688b32f6
- Enable fast returns when the only problem is return address safety questions from memory writes. · 03181417
  clc5q authored 10 years ago
  
  03181417
Oct 13, 2014
- Continue SPARK Ada translation. · 189fd3c1
  clc5q authored 10 years ago
  
  189fd3c1
Sep 25, 2014
- Handle fast return suppression on tail call cases. · e53dc758
  clc5q authored 10 years ago
  
  e53dc758
Sep 23, 2014

Emit basic annotations and STARScallreturn annotations for unreachable,... · feef6bb4

clc5q authored 10 years ago

Emit basic annotations and STARScallreturn annotations for unreachable, removed code, because the unreachable determination might be due to IDA errors.

feef6bb4

Sep 17, 2014
- Continue SPARK Ada translation. · 03d73152
  clc5q authored 10 years ago
  
  03d73152
Aug 29, 2014
- Emit *.STARScallreturn file with info about fast returns and return address safety. · dd7c0baa
  clc5q authored 10 years ago
  
  dd7c0baa
Aug 21, 2014
- Continue SPARK translation; fix libc assertion on syscall. · 430f1a1c
  clc5q authored 10 years ago
  
  430f1a1c
Aug 02, 2014
- Continue routing IDA calls through middleware layer and cleaning up code. · 2adab9cd
  clc5q authored 10 years ago
  
  2adab9cd
Jul 30, 2014
- Detect accesses to return addresses on the stack. · cf9b715e
  clc5q authored 10 years ago
  
  cf9b715e
Jul 29, 2014
- Continue replacing direct IDA SDK calls with middleware layer calls. · c69865b1
  clc5q authored 10 years ago
  
  c69865b1
Jun 26, 2014
- Add loop type analysis for translation to SPARK-Ada. · 83e6d680
  clc5q authored 10 years ago
  
  83e6d680
Jun 04, 2014
- Increase interprocedural type propagation. · 52faa415
  clc5q authored 10 years ago
  
  52faa415
Jun 02, 2014
- Fix FindCounterHelper argument pass. · d38300df
  clc5q authored 10 years ago
  
  d38300df