Commits · 10ada0263da63892668c1bc00b158bb3a311e94f · Open Source Software / SMPStaticAnalyzer

Jan 06, 2015
- Continue construction of new inst ID objects. · 10ada026
  clc5q authored 10 years ago
  
  10ada026
- No commit message · c58cb451
  jdh8d authored 10 years ago
  
  No commit message
  c58cb451
Jan 05, 2015
- added static data for stars_instructionID_t class · f36021a9
  jdh8d authored 10 years ago
  
  f36021a9
Jan 03, 2015
- Use SMPInstr::GetAddr() instead of directly accessing private member address. · fb5c09fe
  clc5q authored 10 years ago
  
  fb5c09fe
- No commit message · faf69b46
  jdh8d authored 10 years ago
  
  No commit message
  faf69b46
Jan 02, 2015
- IRDB prep work; SMPInstr::GetSize() use. · b35d128e
  clc5q authored 10 years ago
  
  b35d128e
Dec 18, 2014
- Added instruction ID and instruction class · 611232d5
  jdh8d authored 10 years ago
  
  611232d5
Dec 10, 2014
- No commit message · 19344f1e
  jdh8d authored 10 years ago
  
  No commit message
  19344f1e
- Moved more functions that arne't irdb related. · e02961fc
  jdh8d authored 10 years ago
  
  e02961fc
- 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 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