issues
search
xr0-org
/
xr0
The Xr0 Verifier for C
https://xr0.dev
Apache License 2.0
170
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
detect side effects before setups
#64
akiarie
opened
1 week ago
0
converge concept of decl and stmt
#63
claude-betz
opened
4 weeks ago
0
setup ctags
#62
claude-betz
opened
1 month ago
0
implement multi-dimensional arrays
#61
claude-betz
opened
1 month ago
0
buffer overflows: general case
#60
akiarie
opened
1 month ago
0
buffer overflows: local-constant index
#59
akiarie
opened
1 month ago
0
buffer overflows: local-constant size
#58
akiarie
opened
1 month ago
0
buffer overflows: local-constant size and index
#57
akiarie
opened
1 month ago
0
Annotated asserts for commented out parser productions
#56
claude-betz
closed
1 month ago
0
buffer overflows planning
#55
claude-betz
closed
1 month ago
0
Detect reliance on unspecified order of subexpression side effects
#54
jorendorff
opened
1 month ago
17
overspecificity in state view giving false negatives
#53
akiarie
closed
1 month ago
2
Xr0 in Rust
#52
jorendorff
opened
2 months ago
3
user-error asserts especially for parser omissions
#51
akiarie
opened
2 months ago
0
tests/1-branches/tests/0301-conditional-allocation-two.x should fail
#50
jorendorff
closed
1 month ago
2
implement logic for advanced branching
#49
claude-betz
opened
2 months ago
0
leaks not caught where there is a parameter reference
#48
akiarie
closed
1 month ago
4
better recursive printing of blocks
#47
akiarie
closed
2 months ago
0
Runaway recursion with pointer cycle
#46
jorendorff
closed
2 months ago
2
build static debugger
#45
akiarie
closed
1 month ago
1
undefined behaviour in `error_printf`
#44
akiarie
closed
3 months ago
0
logical bang not working
#43
akiarie
opened
3 months ago
0
Track progress through programs in stack rather than at a statement-by-statement level
#42
akiarie
closed
3 months ago
0
initializers
#41
claude-betz
opened
3 months ago
1
Fix test runner
#40
claude-betz
closed
2 months ago
0
Setup tester to run against multiple machines and C compilers
#39
claude-betz
opened
3 months ago
0
else
#38
claude-betz
closed
2 months ago
2
Make lex parse.x work against latest changes
#37
claude-betz
opened
3 months ago
0
add flag to allow verification of files in topological order
#36
claude-betz
closed
3 months ago
0
refine error messages and convert "pre" into "setup"
#35
claude-betz
closed
3 months ago
0
Add verbose printing
#34
claude-betz
closed
3 months ago
0
Converge abstract and body syntax
#33
claude-betz
closed
3 months ago
0
Extend Xr0 to reject uninitialised memory and use-after-free bugs.
#32
claude-betz
closed
3 months ago
0
Surface invalid pointer dereferencing as user error
#31
claude-betz
closed
3 months ago
1
Enforce pre-declaration
#30
claude-betz
closed
3 months ago
1
Verify preconditions when calling functions
#29
claude-betz
closed
3 months ago
1
Implement pass by pointer
#28
claude-betz
closed
5 months ago
0
Add bug reporting mechanism
#27
claude-betz
closed
2 months ago
1
Converge 0v and 0c
#26
claude-betz
closed
3 months ago
0
Implement new "in-place" splitting procedure
#25
akiarie
closed
5 months ago
0
Verify new conditional allocation test
#24
akiarie
closed
5 months ago
0
Simplify map and array data structures
#23
claude-betz
opened
6 months ago
0
Implement topological sort
#22
claude-betz
closed
5 months ago
0
Verify parse.x while it is working end-to-end
#21
akiarie
closed
5 months ago
0
Compile parse.x with zero-order invokers of allocs and deallocs still verified
#20
claude-betz
closed
5 months ago
0
Write internal linkage tests for functions
#19
claude-betz
closed
5 months ago
0
Implement C code generation
#18
claude-betz
closed
5 months ago
0
Verify zero-order invokers of allocs and deallocs in new program
#17
claude-betz
closed
5 months ago
0
Implement splitting solution for conditional tests
#16
claude-betz
closed
5 months ago
0
Write tests for conditional statements of the kind in the parser for Lex
#15
claude-betz
closed
5 months ago
0
Next