Now that the vulnerable instruction (with source file) is in the JSON, make React highlighter search for value of "vulnerable_instr_text" instead of "function_name".
graphAndFeedback.js is now looking for "vulnerableInstructionText" to highlight. *_frontend.json files for all programs need to be manually generated again and pushed on production server.
Now that the vulnerable instruction (with source file) is in the JSON, make React highlighter search for value of "vulnerable_instr_text" instead of "function_name".