issues
search
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
391
stars
23
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add simple parser benchmarks.
#732
xlauko
closed
2 days ago
0
Upgrade to LLVM 19
#731
xlauko
opened
3 days ago
0
Add support for cells with non-local storage
#730
Jezurko
opened
1 week ago
1
Introduce SymbolRefParameter.
#729
xlauko
closed
1 week ago
0
Obliterate graph regions
#728
Jezurko
closed
1 week ago
1
Unify symbol reference handling
#727
xlauko
closed
2 weeks ago
1
Bump linux kernel benchmark version to v6.11
#726
Jezurko
closed
1 week ago
0
[Bug]: `typeof.expr`references out-of-scope variables in rare cases
#725
Jezurko
opened
3 weeks ago
0
Evaluate assume aligned attribute parameters
#724
Jezurko
closed
3 weeks ago
1
Unify symbol reference handling
#723
xlauko
opened
3 weeks ago
0
Add support for file scope assembly
#722
Jezurko
closed
3 weeks ago
0
Enable tests containing formerly unsupported stuff
#721
Jezurko
closed
3 weeks ago
0
Add support for `_Generic`
#720
Jezurko
closed
3 weeks ago
1
Let `FieldDeclOp`, `GlobalRefOp` and `EnumDeclOp` use symbol name attributes
#719
xlauko
closed
3 weeks ago
1
Refactor type symbols and type op interface
#718
xlauko
closed
3 weeks ago
1
ci: Export CMAKE_PREFIX_PATH via env for gap.
#717
frabert
closed
3 weeks ago
0
Add base for TypeTraitExpr and implement support for `__builtin_types_compatible_p`
#716
Jezurko
closed
3 weeks ago
1
Implement ChooseExpr
#715
Jezurko
closed
4 weeks ago
1
Add attributed stmt
#714
Jezurko
closed
1 month ago
1
Use symbol attr for label names.
#713
xlauko
closed
1 month ago
0
Expand support for attributes found in linux kernel
#712
Jezurko
closed
4 weeks ago
1
Move symbol interfaces to core dialect.
#711
xlauko
closed
1 month ago
1
Add logo assets.
#710
xlauko
closed
1 month ago
0
Implement Error attribute and static assert expression
#709
Jezurko
closed
1 month ago
1
Replace SkipStmt with NullStmt.
#708
xlauko
closed
1 month ago
0
Fix verification of auto type in conditional operators
#707
Jezurko
closed
1 month ago
0
Core fix dialect prefixes.
#706
xlauko
closed
1 month ago
1
Disambiguate high-level tablegen names.
#705
xlauko
closed
1 month ago
0
Remove unsupported RelWithDebInfo config type.
#704
xlauko
closed
1 month ago
0
Add metagen to unsupported visitor
#703
PappasBrent
closed
1 month ago
1
Add codegen policy
#702
PappasBrent
closed
1 month ago
1
Add infrastructure to support SARIF output
#701
frabert
closed
1 month ago
1
Cleanup versioning in cmake packaging
#700
Jezurko
opened
1 month ago
0
gh: Merge tag bumping into prerelease action.
#699
Jezurko
closed
1 month ago
0
gh: Fix tag regex to run Pre Release action.
#698
Jezurko
closed
1 month ago
0
Bump release action version in CI
#697
Jezurko
closed
1 month ago
0
Fix version generation
#696
xlauko
closed
1 month ago
1
cmake: use vcpkg to manage dependencies
#695
frabert
closed
1 month ago
0
Add type-list utils to query uniqueness and indices.
#694
xlauko
closed
1 month ago
1
Refactor conversion mixins
#693
xlauko
closed
1 month ago
1
docs: Update default visitor arguments in integration example.
#692
Jezurko
closed
1 month ago
0
Fix function linkage verifier
#691
Jezurko
closed
1 month ago
1
Unsupported visitor should take in a metadata generator
#690
pgoodman
closed
1 month ago
0
Add support for simple attributes frequently appearing in linux kernel
#689
Jezurko
closed
1 month ago
1
Add support for AutoType
#688
Jezurko
closed
1 month ago
1
Add custom printer/parser combo to EnumDeclOp
#687
Jezurko
closed
1 month ago
0
[Bug]: `vast-opt` fails to verify empty enum declarations
#686
PappasBrent
closed
1 month ago
0
Generate Linux compile commands, don't intercept with bear
#685
PappasBrent
closed
1 month ago
0
OSX resource dirs
#684
xlauko
closed
2 months ago
1
Linkage specials
#683
Jezurko
closed
1 month ago
1
Next