Commits · 688dea6d02a037ab63218c28585f9e3f253420f4 · Open Source Software / Zipr Toolchain

Mar 27, 2012

For some reason the previous version called spasm using the wrong directory... · 688dea6d

bdr7fv authored 13 years ago

For some reason the previous version called spasm using the wrong directory for stratafier.o.exe. Presumably stratafier.o.exe was in this directory at one point because this script has been seen to work. 



Former-commit-id: 0f5f7c0dc2cb20cc3d9b90354a29ac2fcfc49f71

688dea6d

Adding an empty json file (empty.json) to tools. This will be used by BED if... · bf6494c8

bdr7fv authored 13 years ago

Adding an empty json file (empty.json) to tools. This will be used by BED if no json inputs are produced by grace. 



Former-commit-id: 46a7c4eb5fea3748199f774c99fb3d86206814d1

bf6494c8

Mar 23, 2012

Change so Grace uses a config file for options and doesn't get them from... · df8a1380

johnp authored 13 years ago

Change so Grace uses a config file for options and doesn't get them from ps_analyze.sh and do_concolic.sh - OK johnp@

Former-commit-id: bd2028d7ae8aae5ab403e5a6e5640b5d20a41ede

df8a1380

Feb 09, 2012
- Get rid of pin stuff from this part of the svn tree · 05b072b1
  an7s authored 13 years ago
  
  Former-commit-id: 99846d5f80e4f63f6e2520ee3c730ec3eb893c49
  05b072b1
Jan 31, 2012
- Allow users to specify coverage file when in manual testing mode · 94d107c2
  an7s authored 13 years ago
  
  Former-commit-id: 37282fe35788e62e7e92df70c8002feb9da2dc11
  94d107c2
- Scrub peasoup directory · 832fc011
  an7s authored 13 years ago
  
  Former-commit-id: 0f4046d46d115d20704798ba8d0e7a67743daf9d
  832fc011
- error checking: check validity of wrapper script · 4cadafe3
  an7s authored 13 years ago
  
  Former-commit-id: 6b6e77e9d1d9f0743504bba4f77d7237195b77e4
  4cadafe3
- make sure Peasoup program specified on command line · e85ddacf
  an7s authored 13 years ago
  
  Former-commit-id: 817732d080d8f2c428a28f509bc61decd08dd2fb
  e85ddacf
- New tool to create installers for peasoup applications: · 077ba764
  an7s authored 13 years ago
  
  ps_create_installer.sh <peasoup_program> This will create a zipped tarball. Former-commit-id: 6f1623ad50662a355ac8983a42c4e2e65501cb4f
  077ba764
Dec 12, 2011
- fixed bug with blacklist & grace not working · 527e78fb
  an7s authored 13 years ago
  
  Former-commit-id: 2783fb65f8e73e14fc706f1a2ec4e020d7d235f6
  527e78fb
Dec 10, 2011
- ps_analyze.sh thres changes to 15m/15m/150m · c966e25d
  jdh8d authored 13 years ago
  
  Former-commit-id: b72ef6a0afde258e11c8b276eb1d83cf58b9e9c7
  c966e25d
Dec 09, 2011

Adding SPEC 2006 C++ statically linked and dynamically linked binaries and... · af30065c

mc2zk authored 13 years ago

Adding SPEC 2006 C++ statically linked and dynamically linked binaries and their inputs to $PEASOUP_HOME/c++_examples/spec2006 for testing.



Former-commit-id: 5ac64e9983d5dd24bf967d1dd9590ea46285c6b5

af30065c

Not filtering · bc12dd1b

an7s authored 13 years ago

Former-commit-id: 58c2000855d781a18d23dbb775e2f4dc610e8484

bc12dd1b

Capture stdout and stderr coming out of ps_analyze.sh and send to a file.... · d98d6d42

johnp authored 13 years ago

Capture stdout and stderr coming out of ps_analyze.sh and send to a file. Otherwise it winds up on stdout for analyze, which is not allowed. johnp did the change. duc checked it over.

Former-commit-id: 69235fea531b06162128eed88b86a1fa08eebad5

d98d6d42

Filter out C++ programs from Pn · febda328
an7s authored 13 years ago
```
Former-commit-id: 01dbf0e7532770707344cc30f07fc7437c92c292
```
febda328

added more fns · a106971d

an7s authored 13 years ago

Former-commit-id: a7a42b1757733ebb3af55604d8eb3b8f7a276e21

a106971d

tab fix · 0e42e08a

dnguyen authored 13 years ago



Former-commit-id: 371fd0f29a10f523a56649a76dcbf12268492663

0e42e08a

Add timeout · 151448f0

dnguyen authored 13 years ago

Return only 'success' or 'timeout'


Former-commit-id: ca999e33744b731037da87be2874f9e6437e0a2c

151448f0

Reverted accidental commit of 7772 for ps_analyze. · 50361906
jdh8d authored 13 years ago
```
Former-commit-id: e81aa5ceb86e1738f7875bfebce1933361f81aec
```
50361906
removed cat to stdout · 7be3d41a
jdh8d authored 13 years ago
```
Former-commit-id: 880d1b568c9a1f276f7855aafe634ec585a5586e
```
7be3d41a

Dec 08, 2011
- rolled back · dd28b83f
  an7s authored 13 years ago
  
  Former-commit-id: fd76ca77c6b6c1a59ce75408dae6756c5d74f6ff
  dd28b83f
- Fixed timeout value for Pn · 2878301b
  an7s authored 13 years ago
  
  Former-commit-id: 22746ff3e05b7a6a0b75c7104285f1639b1cd045
  2878301b
- Turn on a lot more detectors · e47a69c8
  an7s authored 13 years ago
  
  Former-commit-id: ad47fd33a969802d74e30c70a86712e67fc83fdc
  e47a69c8
- Commit 10-10-100mns settings · 3c8ca19d
  an7s authored 13 years ago
  
  Former-commit-id: a24a11bdfe111f5a196fd3076f7e624de0e13e22
  3c8ca19d
- Check for exit code 134 as well as 139 when classifying inputs as bad · 672b1c40
  an7s authored 13 years ago
  
  Former-commit-id: a0660f72c60f14c0511b05c7fa761ee2cce825a7
  672b1c40
- Check for exit code 134 as well as 139. We interpret these exit codes as bad inputs. · 5385ff7e
  an7s authored 13 years ago
  
  BED will ignore these inputs. Former-commit-id: 6440b7fa3b36c807b31ddee74068dad50921e239
  5385ff7e
- When diff'ing output to determine equivalence, ignore any lines with the word: stratafied · 70727528
  an7s authored 13 years ago
  
  We were previously getting false positives when a program prints out argv[0] Former-commit-id: 1b1fe001bd923b3316d59e5630ffd3ede582788a
  70727528
Dec 07, 2011
- Up peasoup parameters: · 9bef32b0
  an7s authored 13 years ago
  
  Concolic: 15 mns IntegerReplay: 15 mns Pn: 30 mns Former-commit-id: 55778c62f873667ce673dcdd08635601851dd83d
  9bef32b0
- Store test case name in the environment · 07527975
  dnguyen authored 13 years ago
  
  Former-commit-id: 9ebabb8f4f9a943a2784ee2e19658deabb2968fb
  07527975
- Controlled exit and continue execution messages · 8bda9f5f
  dnguyen authored 13 years ago
  
  Former-commit-id: f505fa6004f22bc3da245d34520ffe3072755a31
  8bda9f5f
Dec 06, 2011
- report ps_analyze timeout · 20591e5d
  dnguyen authored 13 years ago
  
  Former-commit-id: 9473772b9eec429de1ad0e2f9eca7504db109743
  20591e5d
- Emit general_messages containing Strata warnings · ce35c781
  dnguyen authored 13 years ago
  
  Former-commit-id: ec51dd588217bee7d1138ae55504ee335c328052
  ce35c781
- · f8a66983
  jdh8d authored 13 years ago
  
  Former-commit-id: 9a15df2ceb16ff8254d539bc8135ec1ffba52d56
  f8a66983
- Added timeouts to integer replay · 553f62c0
  an7s authored 13 years ago
  
  Former-commit-id: 6056f5d73fbcba706b19a75562d5f16eee5741e6
  553f62c0
Dec 05, 2011
- Fixes to support non-alphabetic filenames. · d7aba8f6
  jdh8d authored 13 years ago
  
  Former-commit-id: 5e680912952983b1c8f5b7ebe031495f6b2afa76
  d7aba8f6
- Use replayer to discover benign false positives for integer vulnerabilities · 88f616d2
  an7s authored 13 years ago
  
  Former-commit-id: 48c8a19052c06e26169684bf36558dec9994d1ad
  88f616d2
- Have Grace produce exit status codes for each input · ef575e14
  an7s authored 13 years ago
  
  Former-commit-id: e6b0622c6228ecf21f67896a757fa38a75ce7aaf
  ef575e14
- Removed error handlers from ps_run, changed error exit code for ps_analyze. · 81f1c89f
  jdh8d authored 13 years ago
  
  Former-commit-id: 8857f8dac5183577725b6ffd986c5a4aa34db753
  81f1c89f
- Implemented false positive detections for C1 · 414d8b5e
  an7s authored 13 years ago
  
  Former-commit-id: 08a5518739964e98904f319fa5121567b89af818
  414d8b5e
Dec 04, 2011
- Integer replay script to detect false positives · 4047e9e4
  an7s authored 13 years ago
  
  Former-commit-id: 4977a540e972ffe1dc1241dac824028281efe7c7
  4047e9e4