Commits · c73abe6a94ad7e362c20723297901fb953bb0ec5 · Open Source Software / Zipr Toolchain

Jan 12, 2011
- Changes to demo to cleanup the output, and fix an error that was being reported · c73abe6a
  jdh8d authored 14 years ago
  
  c73abe6a
Jan 11, 2011
- Added add_confinement_section demo to ps_demo.sh · 80835d68
  mc2zk authored 14 years ago
  
  80835d68
- Adding demos directory to peasoup_examples. · 5967f3a1
  mc2zk authored 14 years ago
  
  badA.txt and badB.txt are example bad inputs generated from running the attack generators: attack-gradeA.no_strata and attack-gradeB.no_strata
  5967f3a1
Dec 30, 2010
- ps_comp++ script for c++ source. · eac8c5e1
  jdh8d authored 14 years ago
  
  eac8c5e1
- changes to makefile to use ps_*.sh commands, and bug fixes to ps_* scripts now... · 9cfadd21
  jdh8d authored 14 years ago
  
  changes to makefile to use ps_*.sh commands, and bug fixes to ps_* scripts now that they've been tested
  9cfadd21
Dec 29, 2010
- tiny tweak to pass ANNOT file info to strata · e420f14f
  jdh8d authored 14 years ago
  
  e420f14f
- Fixes to have ps_analyze.sh, etc. ps_analyze.sh now does concolic testing and... · 20d7de95
  jdh8d authored 14 years ago
  
  Fixes to have ps_analyze.sh, etc. ps_analyze.sh now does concolic testing and generates the MEDS plugin.
  20d7de95
- First version of peasoup analyze · 800b2028
  an7s authored 14 years ago
  
  800b2028
- 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
- missed this before · 27d46cc7
  jdh8d authored 14 years ago
  
  27d46cc7
Dec 28, 2010
- Reorganized and fixed makefile · 39983b5b
  jdh8d authored 14 years ago
  
  39983b5b
Nov 30, 2010
- No commit message · 2cb8f83a
  jdh8d authored 14 years ago
  
  No commit message
  2cb8f83a
Nov 05, 2010
- More tests and updates to help make clean nicer. · 7eaab417
  jdh8d authored 14 years ago
  
  7eaab417
Nov 02, 2010
- script to do concolic testing on an exe · c80ab884
  jdh8d authored 14 years ago
  
  c80ab884
Oct 29, 2010
- Added testcase to test Strata's initial handshake with the controller. · 404acbf5
  jdh8d authored 14 years ago
  
  404acbf5
- Created testcase for handshaking with the controller. · 78f3a46b
  jdh8d authored 14 years ago
  
  78f3a46b
Oct 27, 2010
- a branch for external peasoup members · 9384d24d
  jdh8d authored 14 years ago
  
  9384d24d
- A set of simple examples for the peasoup project. · 2f541b92
  jdh8d authored 14 years ago
  
  2f541b92