Red: Bug Detection

"RED: Bug Detection".

Features

Tool to help find some errors in C/C++ source code

Requirements

The tool only supports on linux operating system Need to load Z3 library...

Extension Settings

• red.RunBugDetector: Run Tool.
• red.RunInTerminal: Run Tool in Terminal
• red.ConfigEnvironment: RED: Config Environment.

Known Issues

Release Notes

1.0.0

First release