Commits · 44a1fbc47c90e00b7f9f177ec05e26bc51adf1cb · Open Source Software / Zipr Toolchain · GitLab

Snippets Groups Projects

Jun 23, 2011
- Temporarily commented out line which checks the setting of SECURITY_TRANSFORMS_HOME. · 44a1fbc4
  mc2zk authored 13 years ago
  
  44a1fbc4
- Adding more predictable return values to the ps_link, ps_comp and ps_analyze scripts. · 2bda1b9b
  mc2zk authored 13 years ago
  
  2bda1b9b
Jun 21, 2011
- Update the p1 xform to filter out (some) libc functions · 10a24488
  an7s authored 13 years ago
  
  10a24488
- Prepping for release of P1 xform to GrammaTech · ed6cd9d0
  an7s authored 13 years ago
  
  ed6cd9d0
May 13, 2011
- Handle quoted arguments correctly · bc0fc962
  an7s authored 13 years ago
  
  bc0fc962
May 04, 2011
- Unblocking the peasoup toolchain by removing the tracer option from the replayer · b579ed1d
  an7s authored 13 years ago
  
  b579ed1d
- Taking out P1 from the tool temporarily · 27bbbaa0
  an7s authored 13 years ago
  
  27bbbaa0
Apr 06, 2011
- turn on p1 · 2d72e63d
  an7s authored 14 years ago
  
  2d72e63d
Mar 15, 2011
- Variety of random small changes to keep concolic up-to-date with grammatech's working versions · dd3eaafc
  jdh8d authored 14 years ago
  
  dd3eaafc
Jan 12, 2011
- Cleaned up output for demo. We may wish to have more verbose output for... · 6e878f92
  jdh8d authored 14 years ago
  6e878f92
Dec 29, 2010
- Fixes to have ps_analyze.sh, etc. ps_analyze.sh now does concolic testing and... · 20d7de95
  jdh8d authored 14 years ago
  20d7de95
- First version of peasoup analyze · 800b2028
  an7s authored 14 years ago
  
  800b2028