Skip to content

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.

Sign up for GitHub

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

161 Open 181 Closed
161 Open 181 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt click/return to exclude labels
or ⇧ click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Cleanup versioning in cmake packaging
#700 opened Aug 9, 2024 by Jezurko
1 task done
Unsupported visitor should take in a metadata generator
#690 opened Aug 6, 2024 by pgoodman
1 task done
1
Create iterator for ASTDeclInterface. Clang static analyzer Experimental support of clang static analyzer over MLIR
#673 opened Jul 17, 2024 by anthro-poid
@anthro-poid
1
[Bug]: Tower exhibits indirect memory leak probably due to usage of clone(). bug Something isn't working mlir tower
#668 opened Jul 11, 2024 by lkorenc
[Bug]: vast-front with -cc1 fails to report unknown argument bug Something isn't working
#666 opened Jul 11, 2024 by Jezurko
[Bug]: vast-front -cc1 crashes if not given a target dialect bug Something isn't working
#663 opened Jul 10, 2024 by PappasBrent
MLIR analysis to SARIF exporter. infrastructure
#662 opened Jul 10, 2024 by xlauko
1 of 5 tasks
@frabert @surovic
Think about removal of custom TypeTraits high-level
#659 opened Jul 9, 2024 by Jezurko
1 task done
tower: Some tooling to visualise the links. tower
#657 opened Jul 9, 2024 by lkorenc
1 task done
tower: Figure out a good way to test tower api. test tower
#656 opened Jul 9, 2024 by lkorenc
1 task done
tower: Hashing of conversion passes. tower
#655 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
@xlauko
2
Implement AST interfaces for subset of hl operations. Clang static analyzer Experimental support of clang static analyzer over MLIR high-level
#649 opened Jul 8, 2024 by lkorenc
1 task done
@anthro-poid
[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
2
1
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
@anthro-poid
Find better solution for marking function aliases as definitions
#638 opened Jul 1, 2024 by Jezurko
1 task done
Implement clang::AtomicExpr frontend sv-comp Effort on translating SV-Comp benchmarks
#635 opened Jun 28, 2024 by Jezurko
1 task done
@Jezurko
[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
@xlauko
Tests not passing on default linux distro due to CC not being clang. bug Something isn't working test
#630 opened Jun 24, 2024 by lkorenc
@lkorenc
Provide AggregateTypeInterface. core good first issue Good for newcomers
#621 opened Jun 17, 2024 by lkorenc
1 task done
abi: Add abstraction over bit and byte sizes. abi
#614 opened Jun 12, 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
@xlauko
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
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.