Commits · 34874596acf3bcaea3673c4762c8bc7d96c00a08 · Open Source Software / SMPStaticAnalyzer

Nov 27, 2014
- No commit message · 34874596
  jdh8d authored 10 years ago
  
  No commit message
  34874596
Nov 26, 2014
- No commit message · e3958924
  jdh8d authored 10 years ago
  
  No commit message
  e3958924
- First full version with an interface · 3075b508
  jdh8d authored 10 years ago
  
  3075b508
- First full version with an interface · aad0953e
  jdh8d authored 10 years ago
  
  aad0953e
Nov 25, 2014
- No commit message · 97149c60
  jdh8d authored 10 years ago
  
  No commit message
  97149c60
- First update to restructuring · b2331b07
  jdh8d authored 10 years ago
  
  b2331b07
- No commit message · 5d32d40d
  jdh8d authored 10 years ago
  
  No commit message
  5d32d40d
Nov 24, 2014
- SBIR Data Rights assertion. · 0c4eeef4
  clc5q authored 10 years ago
  
  0c4eeef4
- Continue work on increased SCCP precision by tracking flags separately. · 45920275
  clc5q authored 10 years ago
  
  45920275
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
- Output correct statistics to log file for funcs that are unsafe solely due to their callees. · 8dfd0d22
  clc5q authored 10 years ago
  
  8dfd0d22
Nov 13, 2014
- Keep SpecFuncSafe in sync with FuncSafe; only affects mmStrata MMSAFENESS annotations. · ca20be3a
  clc5q authored 10 years ago
  
  ca20be3a
- 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
Nov 06, 2014
- Expand type inference from standard library functions to include POINTER args. · f64d9545
  clc5q authored 10 years ago
  
  f64d9545
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 26, 2014
- New IDIOM 32: lea inst with any special ultimate source for any USE operand. · 6f5392ac
  clc5q authored 10 years ago
  
  6f5392ac
Oct 24, 2014
- Fix coding error introduced in refactoring for blacklisting (enable more IDIOM 18 annotations). · e39d725f
  clc5q authored 10 years ago
  
  e39d725f
- Expand IDIOM 9 into IDIOM 31: Optimized range check, benign underflow. · 83318981
  clc5q authored 10 years ago
  
  83318981
Oct 23, 2014
- Only instrument numeric error check for blacklisted (important) sinks. · b026995a
  clc5q authored 10 years ago
  
  b026995a
Oct 22, 2014
- Find calls to cxa_throw and not just its body; close eh_frame_addrs file. · 732c5532
  clc5q authored 10 years ago
  
  732c5532
Oct 21, 2014
- Process *.eh_frame_addrs file. · 7f17c255
  clc5q authored 10 years ago
  
  7f17c255
- Fixing if then statement. · 1ef334a8
  mc2zk authored 10 years ago
  
  1ef334a8
Oct 20, 2014
- fixed typos in add_ifunc_attr line · 7e02fe70
  jdh8d authored 10 years ago
  
  7e02fe70
- 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