search

tum-i4 / macke-vulnerability-assessment

1 stars 1 forks source link

Instructions can't be pointed out by the front-end. #1

Closed saahil closed 6 years ago

saahil commented 6 years ago

Use klee.json and parse *.err files and perform a match.

saahil commented 6 years ago

Corrects reads line number from KLEE error description and dumps it in the frontend JSON file.

saahil commented 6 years ago

Read all the information from source file and klee error descriptions and recorded it in the JSON to be parsed by React.