Former-commit-id: e748cb01b44a7d06b1fa2238ba7ad6c20b5bf8fe

Former-commit-id: 0c60fc9c9edd9cec84a9d72acbf0a87fd5fed008

Former-commit-id: e05e87d6436bbb6249f87512c84981c233e673be

Former-commit-id: b3a22ddd6b3e6e69592ea45eb205269b0e31a1fa

Altered do_p1transform.sh and ps_analyze.sh to use a flag, DO_CANARIES to turn canaries on or off for PN. Set to 0 to turn of, non-zero to turn canaries on. By default DO_CANARIES=1. DO_CANARIES can be found in ps_analyze.sh.

Another update to security_transforms (PNMain and PNTransformDriver) to complete this update. To come next. 
 


Former-commit-id: 30b3eeacb768bf943b1e17d75af84448c626a187

Former-commit-id: 20661936f01cf152c81dc42105c9932f25c8ea1e

Former-commit-id: ddeedc5828b00e0ea96727513fba5365a35a01bd

do_p1transform.sh, limit to only using the first 50 inputs as baseline. 



Former-commit-id: a970748bcf6770b3b0a5a06d06f10ca9053071ff

Former-commit-id: e1a237c979a534d6094c6b81dc80e05b51d7d24f

Former-commit-id: 5c4469c4bffe961db659c66b4d99840170be15c9

Former-commit-id: b5966870bbe95e9d4f806deec18b6be9a96a4e06

Block grace inputs from consideration for BED if the input results in the program returning exit code 132-140 inclusive. 



Former-commit-id: c0eafcebebb6e62c22c3708a21480831af49a493

Former-commit-id: 85f7cc488e3c8135244bb5d6d015d564231f4199

ps_validate.sh and do_p1transform.sh now parse grace produced files using a more general regular expression. 



Former-commit-id: cf71b8ab8b630c5c8ddc85162a7d70bb4d3e6175

Former-commit-id: 856bd209ec3ac7dba9a51fcbf917bd7712493489

Former-commit-id: 56f4f5b1210d93eb41b2c1c49092a6916d6efff7

Former-commit-id: 85d2390f9d5ea14f577b480cd75ff781cf91adba

cover.sh no longer adds functions to the blacklist based on coverage. Instead it is left to PN to make the decision on how to transform. 



Former-commit-id: 20ab31bce6f2fbce67a47f6716875cfc321cd7f5

Former-commit-id: 1e1d867c32d4bbf56946e8a2adba7f69fe9eeabc

ok self@


Former-commit-id: e6f82ff026c44a46549ba2a052d2bfc5e336b0ed

Modified do_p1transform.h do reflect changes to the naming conventions used for grace's output files. 



Former-commit-id: f123d65d6144ef2546e61223ef9f333d0dae9828

Former-commit-id: 27593a5ad878fb252092e6a5579a6a5c6003eba8

Modified ps_validate.sh to reflect the new naming convention of exit status file as produced by grace. 



Former-commit-id: 541c440787bb360bb4466363cd1f6772bd69935a

Former-commit-id: 0c50d09b60d7d236307f651087e67578db472102

Altered ps_validate.sh, if grace has coverage the exit_status log is grep'ed for the exit status, no longer comparing raw log files. 



Former-commit-id: eb29022ff0532cee2a843ac4a12cf12e088b2582

Former-commit-id: c09776013fb52ea3c32db06b39dfe57569a389cd

The exit_status file produced by grace has changed to include more than just the exit status. ps_validate.sh will not grep out the exit status in the case where grace fails to produce outputs. 




Former-commit-id: 0a425d16aa56c6d8dc26d7a8eed8e8df1e999255

Added -w | --watchdog <val> as an option to ps_analyze.sh. Watchdog timer value can now be specified on commandline to ps_analyze.sh.  Default value set to 30 seconds.



Former-commit-id: 55dd3562609f9d17ed53eadaa7e9b87a91c9b91b

Former-commit-id: d7c42b89878a0db050fb2ac626a5f4c60e126c51

Former-commit-id: 463b69c731df83403160654c0ab5adcf5742a3cf

Former-commit-id: 2865a5c2fe658a2026c876547889f892c7177433

If grace fails to produce output, ps_validate will no run the original program with no inputs to record the exit status only if the program hasn't previously been tested to derive the exit status. 



Former-commit-id: 63fe7f3a5c137a5e3852641a0bf4df20663d3916

Previous version of ps_validate called replayer with no input in grace failed. This was believed to have worked in the past, but is now broken. It is now called with empty.json saved in peasoup_home. 

Also, in case of complete do_concolic script failure, if no inputs are found, a check is made to see if a.sym was produced, if not ps_validate.sh will produce it. 

With no concolic inputs, the previous version did not exit with an error status if the empty input caused a divergence in exit status. 



Former-commit-id: a897ae79f75704319c17638cedc2117ff68b7064

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

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

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

Former-commit-id: 99846d5f80e4f63f6e2520ee3c730ec3eb893c49

Former-commit-id: 37282fe35788e62e7e92df70c8002feb9da2dc11

Former-commit-id: 0f4046d46d115d20704798ba8d0e7a67743daf9d

Former-commit-id: 6b6e77e9d1d9f0743504bba4f77d7237195b77e4