trailofbits / vast

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
https://trailofbits.github.io/vast/
Apache License 2.0
368 stars 23 forks source link

Allow vast-repl to run Clang static analyses. #641

Open anthro-poid opened 5 days ago

anthro-poid commented 5 days ago

Add a template for running clang static analysis in vast-repl.

CLAassistant commented 5 days ago

CLA assistant check
All committers have signed the CLA.

github-actions[bot] commented 3 days ago

Cpp-Linter Report :warning:

Some files did not pass the configured checks!

clang-format reports: 2 file(s) not formatted - include/vast/repl/command.hpp - tools/vast-repl/command.cpp

Have any feedback or feature suggestions? Share it here.