Commits · d6763c0641a053e33c535fbe5578792867a6cd67 · Open Source Software / Zipr Toolchain

Jul 17, 2019
- working lib unwind test · 513d2e95
  Jason Hiser authored 5 years ago
  
  513d2e95
- libunwind test · 34314d8e
  Jason Hiser authored 5 years ago
  
  34314d8e
Jun 01, 2019
- submods and gitignore addition · 1fa55600
  Jason Hiser authored 5 years ago
  
  1fa55600
Mar 04, 2019
- renamed peasoup_examples to just examples · 41ac4090
  Jason Hiser authored 6 years ago
  
  41ac4090
Feb 19, 2019
- moving for refactoring · 129859b6
  Jason Hiser authored 6 years ago
  129859b6
Apr 07, 2013
- Added concolic to list of parameterizable phases in the Makefile · 4a7bd7a5
  jdh8d authored 12 years ago
  4a7bd7a5
Dec 06, 2012
- moving tests and examples out of security transforms · 554e40e7
  jdh8d authored 12 years ago
  554e40e7
Nov 03, 2011
- Fixed rewriter.cpp. Now checks for empty address coverage file. · 3ef38116
  bdr7fv authored 13 years ago
  3ef38116
Oct 10, 2011
- ... · 4d5b689b
  an7s authored 13 years ago
  4d5b689b
- ... · b4d3bd6f
  an7s authored 13 years ago
  b4d3bd6f
Sep 29, 2011
- new version · 70d0a34b
  an7s authored 13 years ago
  
  70d0a34b
- new version of ls tests · 8aad4897
  an7s authored 13 years ago
  
  8aad4897
Sep 27, 2011
- testing manual test framework · b3cec97a
  an7s authored 13 years ago
  
  b3cec97a
Sep 14, 2011
- widening/truncation examples · ae8cf583
  an7s authored 13 years ago
  
  ae8cf583
Sep 08, 2011
- testing p2 · 66731d4f
  an7s authored 13 years ago
  
  66731d4f
Sep 06, 2011
- No commit message · d33d0e69
  an7s authored 13 years ago
  d33d0e69
- Generate a shload of mul overflow tests · ff32faad
  an7s authored 13 years ago
  
  ff32faad
Sep 02, 2011
- ... · be085d13
  an7s authored 13 years ago
  
  be085d13
- Multiply examples · 433dbb0f
  an7s authored 13 years ago
  
  433dbb0f
Aug 31, 2011
- ... · 31bea254
  an7s authored 13 years ago
  
  31bea254
- ... · ede734d9
  an7s authored 13 years ago
  
  ede734d9
- test program for integer bugs · 0c9babe8
  an7s authored 13 years ago
  
  0c9babe8
Aug 30, 2011
- Fixes to makefiles to support more options. Also added ability to ps_analyze... · 6ec83264
  jdh8d authored 13 years ago
  6ec83264
- Rearranged the precompiled examples into their own directory, edited makefiles... · f3d15cc7
  jdh8d authored 13 years ago
  f3d15cc7
Aug 17, 2011
- Fixed overflow1 · 91bf7ee2
  an7s authored 13 years ago
  
  91bf7ee2
- Return proper exit code · 5daae549
  an7s authored 13 years ago
  
  5daae549
Aug 12, 2011
- commit examples · f549f949
  an7s authored 13 years ago
  
  f549f949
Aug 02, 2011
- Added test · a1783888
  an7s authored 13 years ago
  
  a1783888
Jul 27, 2011
- Dynamic linking fixes to PS toolchain · fd4784e3
  jdh8d authored 13 years ago
  
  fd4784e3
Jul 08, 2011
- First working version of IRDB code integrated. · ccec0a10
  jdh8d authored 13 years ago
  
  ccec0a10
Jul 05, 2011
- Removed make clean step for DB for now because it was breaking things. · 6262a1b9
  jdh8d authored 13 years ago
  
  6262a1b9
Jun 29, 2011
- Added first tools that use the DB. · d31b2315
  jdh8d authored 13 years ago
  
  d31b2315
Jun 10, 2011
- Corrected typo · 0a44485f
  an7s authored 13 years ago
  
  0a44485f
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 11, 2011
- Adding demos directory to peasoup_examples. · 5967f3a1
  mc2zk authored 14 years ago
  5967f3a1
Dec 30, 2010
- changes to makefile to use ps_*.sh commands, and bug fixes to ps_* scripts now... · 9cfadd21
  jdh8d authored 14 years ago
  9cfadd21
Dec 29, 2010
- Changes to support symbol transport from MEDS to grace's controller automatically. · db9297cf
  jdh8d authored 14 years ago
  
  db9297cf
- Added dumbledore and dumbledore_cmd examples for testing concolic engine. · d5420378
  jdh8d authored 14 years ago
  
  d5420378
Dec 28, 2010
- Reorganized and fixed makefile · 39983b5b
  jdh8d authored 14 years ago
  
  39983b5b