After install this extenison, some new bar will show at bottom.
Install svf environment.
The plug-in will automatically detect whether the background configuration is complete. If the plug-in is just installed or the background environment is damaged, this icon will appear. At the same time, other functions will be suspended.
Open Input Project.
This function and the next function use the same button. The function will open the example.c file under INPUT_PROJECT. If the user is not currently in this directory, the project will be redirected first. When there is no example.c under INPUT_PROJECT, it will ask whether to configure this file. Choose Yes to configure and jump to this file.
Open svf Backend.
This function uses the same button as the previous function. It will open the configuration file svf-ex.cpp under svf backend. When the folder does not exist or svf-ex.cpp does not exist, it will ask you if you need to reconfigure the backend. Selecting Yes will re-download the new svf backend file and display it.
Build Input Project.
This button will only appear when INPUT_PROJECT is opened and example.c exists. It can compile according to the rules of svf backend and generate error messages and static analysis graph information. The compilation process will appear in a Terminal.
Build svf backend. This button will only appear when the svf backend exists. Click this button after customizing the svf backend. It will compile and configure svf backend tools.
Show Analysis Report.(In the process of making...) This button will only appear after the INPUT_PROJECT compilation is successful, and it will display the compilation result in the form of a report.
