Skip to content

Issues: UQ-PAC/BASIL

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

Clear current search query, filters, and sorts
83 Open 75 Closed
83 Open 75 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

Verifying memory safety
#119 opened Oct 24, 2023 by l-kent
Targeted Procedure In-lining enhancement New feature or request
#46 opened Jul 20, 2023 by Thomas-Malcolm
Integer-based Boogie Files
#66 opened Sep 13, 2023 by l-kent
heap MemoryRegions should be identified by call site
#72 opened Sep 19, 2023 by ailrst
1
VSA does not track stack pointer function parameters
#73 opened Sep 19, 2023 by ailrst
Security Levels for Initialised Memory Sections
#82 opened Sep 22, 2023 by l-kent
1
Specifications Rework
#83 opened Sep 25, 2023 by l-kent
7
option to output build version
#85 opened Sep 26, 2023 by ailrst
@ailrst
3
No MemoryModelMap entry for 'main' for 'complex' example
#96 opened Oct 12, 2023 by l-kent
@yousifpatti
2
Analyses only partially defined
#98 opened Oct 12, 2023 by l-kent
Tail-Call Optimizations
#101 opened Oct 13, 2023 by ziggyfish
Move inserting rely()s, Gammas, assertions, etc. to IR
#117 opened Oct 19, 2023 by l-kent
1
Check that array indices are low? enhancement New feature or request
#36 opened Jun 22, 2023 by utting
1
Add assertion that gamma of stack frame is low on return
#118 opened Oct 23, 2023 by ailrst
1
Performance regression testing
#120 opened Oct 24, 2023 by l-kent
1
Loop invariants in specifications
#122 opened Oct 24, 2023 by l-kent
1
Recover ABI from binary level
#123 opened Oct 25, 2023 by ailrst
1
Generalised handling of library functions
#124 opened Oct 25, 2023 by ailrst
1
Support loops in Stack Identification
#126 opened Oct 25, 2023 by l-kent
Obtaining information from Boogie/Z3 counterexample models
#127 opened Oct 25, 2023 by l-kent
@ailrst
1
Updated Memory Region Analysis Tests
#129 opened Oct 26, 2023 by l-kent
Give R31 a concrete value when possible
#133 opened Nov 2, 2023 by ailrst
1
Generate random programs to test Interpretor
#138 opened Nov 9, 2023 by ziggyfish
Remove replace stack maintenence stores/loads with free functionspec
#143 opened Nov 15, 2023 by ailrst
1
Assertion failure in Simplify :: DynamicSingleAssignment
#378 opened Mar 19, 2025 by aaronbembenek
@ailrst
ProTip! Updated in the last three days: updated:>2025-03-26.