Commits · 88f616d2282fc5b12bead72e4448667d0e80046e · Open Source Software / Zipr Toolchain

Dec 05, 2011
- 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
- Added utilities to figure out the state of Grace · 484cbc45
  an7s authored 13 years ago
  
  Former-commit-id: ee90b63b18483c6a661790929227991a8975228b
  484cbc45
Dec 02, 2011
- Added controlled exit handler. · ec963b4e
  jdh8d authored 13 years ago
  
  Former-commit-id: 089be651a1afdc1cbc2f934f9eda03e44e1dc976
  ec963b4e
Dec 01, 2011
- fixed ps_analyze again. :( · fc2b41e0
  jdh8d authored 13 years ago
  
  Former-commit-id: c133522a5d796389216060d8f7486593fbeb9a09
  fc2b41e0
- undid fix for copy_exe step as it doesnt work right if the output file has an absolute pathname · 62fb1509
  jdh8d authored 13 years ago
  
  Former-commit-id: 32f71552eb44ec8870c6dac3776cf70b96638db5
  62fb1509
Nov 30, 2011
- added horrible div by 0 check in ps_run. · c837b4f3
  jdh8d authored 13 years ago
  
  Former-commit-id: b1509dd8383fe81a0af0796c927f1872f486c30b
  c837b4f3
Nov 29, 2011
- Removing extraneous extra temporary directory. · 6164a376
  mc2zk authored 13 years ago
  
  Former-commit-id: ebb23fd97f079a215fac4133586152dfdaa6aa27
  6164a376
- Re-adding soruce for html-xml-utils-3.0. · e09adb48
  mc2zk authored 13 years ago
  
  Former-commit-id: eab54c62350e2af7e319d0477c56bd016b290b33
  e09adb48
- Removing, so that source can be re-added. · 1fcda72d
  mc2zk authored 13 years ago
  
  Former-commit-id: e46008064a89d6e78ebd289aade4d6fc873c7802
  1fcda72d
- Removing this so that all sources can be re-added. · fc820336
  mc2zk authored 13 years ago
  
  Former-commit-id: c7f9f84f66f81ffaba24b9abad0838248e2b7a65
  fc820336
- Committing source file changes related to getting html-xml-utils-3.0 to build. · e0762a54
  mc2zk authored 13 years ago
  
  Former-commit-id: ac2209b4b643c5734ecaaa060c8929e8a1bf44f7
  e0762a54
- Adding html-xml-utils to arid_examples. It contains the source code for wrf,... · 20085ff7
  mc2zk authored 13 years ago
  
  Adding html-xml-utils to arid_examples. It contains the source code for wrf, count, xref utilities. Former-commit-id: 1560116c66402550bcb52c20ec3414a0ce28d79b
  20085ff7
Nov 22, 2011

argh, screwed up my prev. commit · fd442894
jdh8d authored 13 years ago
```
Former-commit-id: 7b3aac7a395bf445bb65c14b08d6d273a6d3a3c5
```
fd442894

Committing changes to add sign conversion function monitoring functionality. · 913cc2ea

mc2zk authored 13 years ago

In particular, ps_run.sh has been modified to have STRATA_NUM_HANDLE=0.
ps_analyze.sh has been modified to perform an update of STRATA_NUM_HANDLE=1 if the step signconv_func_monitor is turned on.

Former-commit-id: cf5adccfca373874c172e5ba14666cc7a1da51a2

913cc2ea

updates for dlls · ce04e245
jdh8d authored 13 years ago
```
Former-commit-id: ef5d250a47dcad821328d884b537ef93c4ab835f
```
ce04e245
The coverage file for do_p1transform is created (an empty file) if it fails to be created. · 355cc01a
bdr7fv authored 13 years ago
```
Former-commit-id: 64acf98e08c74e37387630c5f6560afc52b3e800
```
355cc01a

If there is no valid baseline output to compare against (valid meaning it... · 57d603b2

bdr7fv authored 13 years ago

If there is no valid baseline output to compare against (valid meaning it exists, in that there exists an exit status file, and the exit status was no 139 for the original program), then ps validate will try no input for the transformed program and compare the exit status with the original program.

If the original program segfaults on no input, and no valid baseline output exists, then the transform is validated blindly.

Since validation is done blindly in the above scenario, do_p1transform.sh was changed to check for valid baseline output prior to issuing p1. If no valid baseline output exists, the coverage file is deleted, and replaced with an empty coverage file. This ensures that p1 is performed only, since the abscence of coverage data automatically results in p1 (as opposed to pn).

Former-commit-id: 43822fa92319636e73c0fedf77a40fc2c14bd706

57d603b2

Nov 21, 2011
- More output cleanup of ps_validate.sh · 15c5fc2f
  bdr7fv authored 13 years ago
  
  Former-commit-id: fd5ce4aff6360a42434eec475f6ba1fc949d5817
  15c5fc2f
- Some output cleanup for ps_validate.sh · af782fdd
  bdr7fv authored 13 years ago
  
  Former-commit-id: b6405f613951ab8eda1803afd759de6eb5a99117
  af782fdd
- ps_validate.sh checks for 139 exit status from base line, if found, the input is ignored. · ee1cee5d
  bdr7fv authored 13 years ago
  
  Former-commit-id: 66f5b0e15c860aef6fe771a3dcb2c9c5e6728dea
  ee1cee5d
Nov 18, 2011
- p1 now expects a coverage file and threshold passed in. · dee0d812
  bdr7fv authored 13 years ago
  
  Former-commit-id: 776b91e714a099fcac9eb1d95ab2605331f24e72
  dee0d812
- Scripts for the T&E. Committed by John Phillips at GrammaTech. · 0afb7e16
  johnp authored 13 years ago
  
  Former-commit-id: 78d523fa875889e75fb2bdb9556cff04222242ea
  0afb7e16
Nov 15, 2011

Now ps_validate checks if the conclic engine has generated output pairs for an... · fddf63d9

bdr7fv authored 13 years ago

Now ps_validate checks if the conclic engine has generated output pairs for an input before attempting to replay the input.



Former-commit-id: 3a4dad4e0190ada23b41433af1d12cbc33c5e38a

fddf63d9

Nov 11, 2011

peasoupified... · d8ba6226

an7s authored 13 years ago

Former-commit-id: f38f64a8801051337ef930d6ae0fa3c3a2e9e772

d8ba6226

... · 29e2506e

an7s authored 13 years ago

Former-commit-id: 4559e3da0d95baea17e1415dc33c7f810dc90c32

29e2506e

· 830d68f6

an7s authored 13 years ago

Former-commit-id: 3aa9caad8466d5c8ffae275a5c0909a2f72ee868

830d68f6

Adding more binary test cases. · 5a35581f
mc2zk authored 13 years ago
```
Former-commit-id: 4470c65f55405bf8bd439137a48f828d457f4433
```
5a35581f

Nov 10, 2011
- Restore timeout to 5mn for Pn · 5ad5c1ab
  an7s authored 13 years ago
  
  Former-commit-id: 3a5e87fa795767fe1525651f9d5b5b944e313e46
  5ad5c1ab
Nov 09, 2011

turned off -l tracer for grace. Causes problems in some test programs. · 46ed5c8e
bdr7fv authored 13 years ago
```
Former-commit-id: 2bd3c614937e2e70a57c5425dfe95dad2a344016
```
46ed5c8e

ps_validate.sh now actually checks for exit status. If no exit status if... · 19600bdb

bdr7fv authored 13 years ago

ps_validate.sh now actually checks for exit status. If no exit status if available for a given json file, it is assumed the json file was never ran for baseline output, and any further validation for that input is ignored.



Former-commit-id: 27b13214f3d13aa28c991b41f69e6efa3dca13ae

19600bdb

ps_validate.sh now validates exit status · 62c5505e
bdr7fv authored 13 years ago
```
Former-commit-id: 75f0728711cbd854d2907c95aa939a287aef9231
```
62c5505e
ps_validate.sh now checks outputs generated by the program in addition to stdout and stderr · cc0d22f4
bdr7fv authored 13 years ago
```
Former-commit-id: ee38cce66cacb2e4f2d45d27ff50be3f61bc90f3
```
cc0d22f4

When generating coverage, the executed address file used for coveage now only... · 5c51f119

bdr7fv authored 13 years ago

When generating coverage, the executed address file used for coveage now only contains a list of addresses.



Former-commit-id: 56fd5a4330200ef87b31bd8077717e6c6c14c7a9

5c51f119

Nov 08, 2011
- Adding readme file with inputs. · e46f93bb
  mc2zk authored 13 years ago
  
  Former-commit-id: dab8eab19251172a036c687ea7ba54bddb6fac2a
  e46f93bb
- Adding needed directories. · dc45fd3c
  mc2zk authored 13 years ago
  
  Former-commit-id: 68b9f425837853bdaf7edafdb2a4a1a9f76322e8
  dc45fd3c
- More input commits. · 574f01e8
  mc2zk authored 13 years ago
  
  Former-commit-id: a631b804517173a6b5bcd81fc74659d461a320dd
  574f01e8