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

169 Open 187 Closed
169 Open 187 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

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
[Bug]: Build error when installation path of LLVM matches prior installation path of VAST bug Something isn't working
#592 opened May 19, 2024 by pgoodman
Reorganize conversion tests. test
#589 opened May 15, 2024 by lkorenc
1 task done
@lkorenc
-vast-snapshot-at should have an option to end after all passes are snapshotted. frontend
#583 opened May 8, 2024 by lkorenc
1 task done
@Jezurko
[Bug]: Assert due to invalid cast bug Something isn't working
#579 opened May 3, 2024 by kumarak
4
Unsupported builtins llvm-single-source
#573 opened Apr 25, 2024 by Jezurko
Unimplemented functions with NoDebug attribute llvm-single-source
#572 opened Apr 25, 2024 by Jezurko
constructor/destructor attributes not implemented llvm-single-source
#571 opened Apr 25, 2024 by Jezurko
Requires further investigation llvm-single-source
#566 opened Apr 25, 2024 by Jezurko
Function declaration after definition throws an error about symbol with same mangled name already existing llvm-single-source
#563 opened Apr 25, 2024 by Jezurko
hl should use properties for attributes. high-level
#558 opened Apr 24, 2024 by lkorenc
1 task done
Re-enable LLVM IR target for SV-Comp benchmarks in CI infrastructure
#554 opened Apr 23, 2024 by Jezurko
1 task done
abi: Model functions with many arguments (no longer passed by regs). abi
#550 opened Apr 17, 2024 by lkorenc
1 task done
abi: Classification of floating point types in structs/unions. abi
#549 opened Apr 17, 2024 by lkorenc
1 task done
Investigate support of pointer assignments
#539 opened Mar 26, 2024 by xlauko
1 task done
Create differential scope testing tool high-level test
#536 opened Mar 22, 2024 by xlauko
1 task done
Implement prototype scope high-level
#535 opened Mar 22, 2024 by xlauko
1 task done
ProTip! Exclude everything labeled bug with -label:bug.