VS Code Execution_&&_Debugging configurations

VS Code build and debugging configuration

Software-Analysis-Studio already provides the current VS Code configuration files:

• tasks.json configures the Debug build using the sibling SVF directory.
• launch.json uses bin/hello as the default debugging target.

Open /home/SVF-tools/Software-Analysis-Studio in VSCode. Press F5 to build and debug HelloWorld. When working on an assignment, change the "program" and "args" fields as described on the assignment's Wiki page.

If you built SVF or Software-Analysis-Studio in a different directory layout, update the paths in .vscode/tasks.json. For a complete setup guide, see:

• Installation of Docker, VSCode and its extensions
• Building Software-Analysis-Studio from scratch