Commits · 8b65295d153ce0ec64d1cbb5b7712c01c63ae871 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Feb 04, 2019
- update to build libirdb-deep · 6951453a
  Jason Hiser authored 6 years ago
  
  6951453a
Jan 26, 2019
- refactoring libIRDB · 23624cac
  Jason Hiser authored 6 years ago
  
  23624cac
Oct 24, 2018
- WIP for memory range annotations; add constant propagation to STARS_Option_t. · 790b26f9
  Clark Coleman authored 6 years ago
  
  790b26f9
Apr 01, 2018
- Add command-line option for deep loop analyses. · 0cc1cfbf
  clc5q authored 7 years ago
  
  Former-commit-id: fcfc0eb3841387b6b26c1934e0766bdccde6a130
  0cc1cfbf
Aug 08, 2017
- Add ImproveCFG option, emit CONSTARG annotations. · 1fd74592
  clc5q authored 7 years ago
  
  Former-commit-id: 901de2942253867b9104de72de579ff42a34fb18
  1fd74592
May 01, 2017
- Use references instead of pointers for STARS optins · 77934728
  an7s authored 7 years ago
  
  Former-commit-id: 9b485bb3f4a25fd36f7b006673a1125589ec16bd
  77934728
Apr 29, 2017
- Pass options to STARS/IRDB. · bbe09d64
  clc5q authored 7 years ago
  
  Former-commit-id: b43822b74d3d17ee634ab79c7b25f05275ee75ff
  bbe09d64
Sep 25, 2015
- Reworked to have irdb_transforms dir that can link in libstars. · 2320c43c
  jdh8d authored 9 years ago
  
  Former-commit-id: 7fc3f2e3bbcea45c2d9a0bc9e951a4a3cfe393a8
  2320c43c
Sep 21, 2015
- Updates to supportr building a libstars.a to link into IRDB xforms. · 3c66cf4c
  jdh8d authored 9 years ago
  
  Former-commit-id: 7ecc43186ebacb853a9bf5cb1c9740255e69dbe2
  3c66cf4c