Compare revisions

274a52a8 · 274a52a8 · 274a52a8 · 274a52a8 · 274a52a8 · 274a52a8
--- a/peasoup_examples/demos/demo.jan_21_2011/dumbledore.exploits/badB.txt
+++ b/peasoup_examples/demos/demo.jan_21_2011/dumbledore.exploits/badB.txt
--- a/peasoup_examples/demos/demo.jan_21_2011/dumbledore.good_inputs/good.txt
+++ b/peasoup_examples/demos/demo.jan_21_2011/dumbledore.good_inputs/good.txt
--- a/peasoup_examples/demos/demo.jan_21_2011/dumbledore_cmd.c
+++ b/peasoup_examples/demos/demo.jan_21_2011/dumbledore_cmd.c
--- a/peasoup_examples/demos/demo.jan_21_2011/gdb.demo.script
+++ b/peasoup_examples/demos/demo.jan_21_2011/gdb.demo.script
--- a/peasoup_examples/demos/demo.jan_21_2011/ps_demo.sh
+++ b/peasoup_examples/demos/demo.jan_21_2011/ps_demo.sh
--- a/peasoup_examples/demos/demo.jan_21_2011/run_gdb.sh
+++ b/peasoup_examples/demos/demo.jan_21_2011/run_gdb.sh
--- a/peasoup_examples/demos/demo.jan_21_2011/test_infinite.sh
+++ b/peasoup_examples/demos/demo.jan_21_2011/test_infinite.sh
--- a/peasoup_examples/dyna_examples/000.c
+++ b/peasoup_examples/dyna_examples/000.c
--- a/peasoup_examples/dyna_examples/Makefile
+++ b/peasoup_examples/dyna_examples/Makefile
--- a/peasoup_examples/dyna_examples/bad_purify.c
+++ b/peasoup_examples/dyna_examples/bad_purify.c
--- a/peasoup_examples/dyna_examples/block_copy.c
+++ b/peasoup_examples/dyna_examples/block_copy.c
--- a/peasoup_examples/dyna_examples/cmd_args_005.c
+++ b/peasoup_examples/dyna_examples/cmd_args_005.c
--- a/peasoup_examples/dyna_examples/concolic_test_handshake.c
+++ b/peasoup_examples/dyna_examples/concolic_test_handshake.c
--- a/peasoup_examples/dyna_examples/data.txt
+++ b/peasoup_examples/dyna_examples/data.txt
--- a/peasoup_examples/dyna_examples/dumble_dll.c
+++ b/peasoup_examples/dyna_examples/dumble_dll.c
--- a/peasoup_examples/dyna_examples/dumbledore_cmd.c
+++ b/peasoup_examples/dyna_examples/dumbledore_cmd.c
--- a/peasoup_examples/dyna_examples/dumbledore_file.c
+++ b/peasoup_examples/dyna_examples/dumbledore_file.c
--- a/peasoup_examples/dyna_examples/dumbledore_file_with_fopen_check.c
+++ b/peasoup_examples/dyna_examples/dumbledore_file_with_fopen_check.c
--- a/peasoup_examples/dyna_examples/dumbledore_stdin.c
+++ b/peasoup_examples/dyna_examples/dumbledore_stdin.c
--- a/peasoup_examples/dyna_examples/fptest.c
+++ b/peasoup_examples/dyna_examples/fptest.c
No results found