-
Notifications
You must be signed in to change notification settings - Fork 22
Issues: trailofbits/vast
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Unsupported visitor should take in a metadata generator
#690
opened Aug 6, 2024 by
pgoodman
1 task done
Create iterator for Experimental support of clang static analyzer over MLIR
ASTDeclInterface
.
Clang static analyzer
#673
opened Jul 17, 2024 by
anthro-poid
[Bug]: Tower exhibits indirect memory leak probably due to usage of Something isn't working
mlir
tower
clone()
.
bug
#668
opened Jul 11, 2024 by
lkorenc
[Bug]: Something isn't working
vast-front
with -cc1
fails to report unknown argument
bug
#666
opened Jul 11, 2024 by
Jezurko
[Bug]: Something isn't working
vast-front -cc1
crashes if not given a target dialect
bug
#663
opened Jul 10, 2024 by
PappasBrent
tower: Figure out a good way to test tower api.
test
tower
#656
opened Jul 9, 2024 by
lkorenc
1 task done
[Bug]: Verifier fails to verify nested statement expressions that return shadowed variables
bug
Something isn't working
#651
opened Jul 8, 2024 by
PappasBrent
Implement AST interfaces for subset of Experimental support of clang static analyzer over MLIR
high-level
hl
operations.
Clang static analyzer
#649
opened Jul 8, 2024 by
lkorenc
1 task done
[Bug]: Verifier fails to verify subscript expressions when index operand is an enum type
bug
Something isn't working
#648
opened Jul 5, 2024 by
PappasBrent
Design MLIR interfaces for selected clang AST nodes.
Clang static analyzer
Experimental support of clang static analyzer over MLIR
#643
opened Jul 2, 2024 by
lkorenc
1 task done
Find better solution for marking function aliases as definitions
#638
opened Jul 1, 2024 by
Jezurko
1 task done
Implement Effort on translating SV-Comp benchmarks
clang::AtomicExpr
frontend
sv-comp
#635
opened Jun 28, 2024 by
Jezurko
1 task done
[Bug]: Shadowing variable breaks declaration reference after the end of the scope
bug
Something isn't working
sv-comp
Effort on translating SV-Comp benchmarks
#634
opened Jun 28, 2024 by
Jezurko
Tests not passing on default linux distro due to Something isn't working
test
CC
not being clang
.
bug
#630
opened Jun 24, 2024 by
lkorenc
Provide Good for newcomers
AggregateTypeInterface
.
core
good first issue
#621
opened Jun 17, 2024 by
lkorenc
1 task done
[Bug]: Symbol table lookup for incomplete RecordDecl might return TypeDef
bug
Something isn't working
frontend
llvm-single-source
#608
opened Jun 3, 2024 by
Jezurko
1 task done
abi: Solidify arch-agnostic APIs.
abi:aarch64
abi:x86
abi
#606
opened Jun 3, 2024 by
lkorenc
1 of 4 tasks
abi: Nested floating point types that are collapsed into vector type.
abi
#605
opened Jun 3, 2024 by
lkorenc
1 task done
Aligned attribute throws away the attribute content
bug
Something isn't working
high-level
#595
opened May 29, 2024 by
Jezurko
1 task done
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.