Commits · 427682a6bd29a0afd4811c7ecc7212363f993534 · Open Source Software / SMPStaticAnalyzer

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

Jan 08, 2015
- End usage of Block:FirstAddr-1 to signal live-in DEFs. · 89406918
  clc5q authored 10 years ago
  
  89406918
Dec 10, 2014
- No commit message · c2ad32e4
  jdh8d authored 10 years ago
  
  No commit message
  c2ad32e4
Dec 09, 2014
- No commit message · 0d547ba8
  jdh8d authored 10 years ago
  
  No commit message
  0d547ba8
- Moved IR building to ida-specific function · ef2af26e
  jdh8d authored 10 years ago
  
  ef2af26e
- No commit message · a7744622
  jdh8d authored 10 years ago
  
  No commit message
  a7744622
- No commit message · da71772a
  jdh8d authored 10 years ago
  
  No commit message
  da71772a
Dec 07, 2014
- No commit message · 02ce9f64
  jdh8d authored 10 years ago
  
  No commit message
  02ce9f64
Dec 04, 2014
- No commit message · d82bbc6e
  jdh8d authored 10 years ago
  
  No commit message
  d82bbc6e
Nov 28, 2014
- No commit message · cce5599c
  jdh8d authored 10 years ago
  
  No commit message
  cce5599c
Nov 25, 2014
- First update to restructuring · b2331b07
  jdh8d authored 10 years ago
  
  b2331b07
Nov 21, 2014
- Continue SCCP work. · 9300f26d
  clc5q authored 10 years ago
  
  9300f26d
Nov 19, 2014
- Fix removal of unreachable blocks. · 8b6d5116
  clc5q authored 10 years ago
  
  8b6d5116
- 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 14, 2014
- Fine-tune WritesAboveLocalFrame. · 8990db8e
  clc5q authored 10 years ago
  
  8990db8e
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 12, 2014
- Declare stack ptr copies safe if copy DEF does not reach a memory write. · 51191f57
  clc5q authored 10 years ago
  
  51191f57
Nov 11, 2014
- Code cleanup; prep for increased precision in safe stack ptr copy analysis. · 12d263c6
  clc5q authored 10 years ago
  
  12d263c6
Nov 09, 2014
- Gather stats on metadata and indirect jumps. · ed886771
  clc5q authored 10 years ago
  
  ed886771
Nov 08, 2014
- Implement precise analysis for unsafe callees due to writes above the local frame. · a2b6e232
  clc5q authored 10 years ago
  
  a2b6e232
Nov 07, 2014
- Begin work to increase safe func precision, starting with WritesAboveLocalFrame conservatism. · affc97bd
  clc5q authored 10 years ago
  
  affc97bd
Oct 27, 2014
- IDIOM 3: signed imul does not have signed operands, so discarding upper bits... · 234bb850
  clc5q authored 10 years ago
  
  IDIOM 3: signed imul does not have signed operands, so discarding upper bits is not analyzeable as a C1 problem.
  234bb850
- Improve the precision of critical sink blacklisting of C1 annotations. · 111c5494
  clc5q authored 10 years ago
  
  111c5494
Oct 23, 2014
- Only instrument numeric error check for blacklisted (important) sinks. · b026995a
  clc5q authored 10 years ago
  
  b026995a
Oct 21, 2014
- Process *.eh_frame_addrs file. · 7f17c255
  clc5q authored 10 years ago
  
  7f17c255
Oct 20, 2014
- Loop opcode does not DEF flags; bug fix. · 2df3b2b2
  clc5q authored 10 years ago
  
  2df3b2b2
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
- Find data to code xrefs and mark functions unsafe for fast returns. · ba4703ca
  clc5q authored 10 years ago
  
  ba4703ca
- Continue SPARK Ada translation. · 189fd3c1
  clc5q authored 10 years ago
  
  189fd3c1
Oct 03, 2014
- Fix ancient MEDS type propagation imprecision. · 7fde33a7
  clc5q authored 10 years ago
  
  7fde33a7
Sep 30, 2014
- Propagate MEDS stack location types until indirect writes are seen; increases IDIOMs 18 and 19. · 961650e8
  clc5q authored 10 years ago
  
  961650e8
Sep 27, 2014
- Handle tail call detection on Dealloc instruction; corner case. · 657c4a21
  clc5q authored 10 years ago
  
  657c4a21
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
Sep 03, 2014
- Prevent deletion of SSA marker instructions. · 20af2488
  clc5q authored 10 years ago
  
  20af2488