Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

create preprocessing_script.sh #1303

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Prev Previous commit
Update preprocess_testcases.sh
added some more CWE-Ids to the preprocessing script
goldmannc committed Sep 16, 2021
commit da58f2f8a16372ee978b950c35d6717706b11b2c
Original file line number Diff line number Diff line change
@@ -40,10 +40,14 @@ do
property_file="no-overflow.prp"
;;

"CWE119" | "CWE125" | "CWE415" | "CWE401" | "CWE416" | "CWE787" | "CWE843")
"CWE119" | "CWE121" | "CWE122" | "CWE124" | "CWE125" | "CWE126" | "CWE127" | "CWE401" | "CWE415" | "CWE416" | "CWE476" | "CWE590" | "CWE761"| "CWE787" | "CWE789"| "CWE843" )
property_file="valid-memsafety.prp"
;;

"CWE835")
property_file="termination.prp"
;;

*)
property_file=""
;;
@@ -106,4 +110,3 @@ options:
mkdir -p ${set_folder}
echo "../${output_folder}/*.yml" > ${set_folder}/${cwe_folder}.set
done