Commits · da71772a9cbbf6f142ec6ac2559a6ca286e54961 · Open Source Software / SMPStaticAnalyzer

Dec 09, 2014
- 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 06, 2014
- added support for --disable-64bit · d8778eff
  jdh8d authored 10 years ago
  
  d8778eff
Dec 04, 2014
- cleanup · 7dae7986
  an7s authored 10 years ago
  
  7dae7986
- Merged in re-organization for STARS-to-IRDB · 45c86c43
  jdh8d authored 10 years ago
  
  45c86c43
- No commit message · d82bbc6e
  jdh8d authored 10 years ago
  
  No commit message
  d82bbc6e
Dec 03, 2014
- Clean up SPARK Ada translation issues. · bcc98a12
  clc5q authored 10 years ago
  
  bcc98a12
Dec 01, 2014
- Handle SPARK translation of operators that need Ada library calls, such as shifts. · c745524f
  clc5q authored 10 years ago
  
  c745524f
- No commit message · f92020e0
  jdh8d authored 10 years ago
  
  No commit message
  f92020e0
Nov 28, 2014
- No commit message · ce12d2d7
  jdh8d authored 10 years ago
  
  No commit message
  ce12d2d7
- No commit message · cce5599c
  jdh8d authored 10 years ago
  
  No commit message
  cce5599c
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