Commit 68851c17 authored by Dr. Michael Petter's avatar Dr. Michael Petter
Browse files

Merge branch 'petter-master-patch-28173' into 'master'

mentioned the vscode plugin

See merge request !2
parents e16e3797 24e992e7
......@@ -46,6 +46,12 @@ On a 4 core i7-8550U with 16GB RAM this may take up to 3:00h for a sequentially
If there are errors regarding missing header files, you probably need to rebuild llvm.
# Visualization of Results
There is a plugin for [Visual Studio Code](, that can be obtained from . This expects your inferred abstract domain values in a JSON file, which is then connected to a CFG representation and an .ll version of your analysis target.
# Authors
## Author during Bachelor Thesis 2019/20
* Tim Gymnich
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment