Giters
xr0-org
/
xr0
The Xr0 Verifier for C
Home Page:
https://xr0.dev
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
168
Watchers:
3
Issues:
54
Forks:
3
xr0-org/xr0 Issues
buffer overflows
Updated
a day ago
Order of arguments is unspecified in C
Updated
2 days ago
Comments count
16
overspecificity in state view giving false negatives
Closed
6 days ago
Comments count
2
user-error asserts especially for parser omissions
Updated
24 days ago
tests/1-branches/tests/0301-conditional-allocation-two.x should fail
Closed
7 days ago
Comments count
2
implement logic for advanced branching
Updated
25 days ago
leaks not caught where there is a parameter reference
Closed
6 days ago
Comments count
4
better recursive printing of blocks
Closed
a month ago
Runaway recursion with pointer cycle
Closed
a month ago
Comments count
2
build static debugger
Closed
6 days ago
Comments count
1
undefined behaviour in `error_printf`
Closed
2 months ago
logical bang not working
Updated
2 months ago
Track progress through programs in stack rather than at a statement-by-statement level
Closed
2 months ago
initializers
Updated
2 months ago
Fix test runner
Closed
23 days ago
Setup tester to run against multiple machines and C compilers
Updated
2 months ago
else
Closed
24 days ago
Comments count
2
Make lex parse.x work against latest changes
Updated
2 months ago
add flag to allow verification of files in topological order
Closed
2 months ago
refine error messages and convert "pre" into "setup"
Closed
2 months ago
Add verbose printing
Closed
2 months ago
Converge abstract and body syntax
Closed
2 months ago
Extend Xr0 to reject uninitialised memory and use-after-free bugs.
Closed
2 months ago
Surface invalid pointer dereferencing as user error
Closed
2 months ago
Comments count
1
Enforce pre-declaration
Closed
2 months ago
Comments count
1
Verify preconditions when calling functions
Closed
2 months ago
Comments count
1
Implement pass by pointer
Closed
3 months ago
Add bug reporting mechanism
Closed
24 days ago
Comments count
1
Converge 0v and 0c
Closed
2 months ago
Implement new "in-place" splitting procedure
Closed
3 months ago
Verify new conditional allocation test
Closed
4 months ago
Simplify map and array data structures
Updated
3 months ago
Implement topological sort
Closed
4 months ago
Verify parse.x while it is working end-to-end
Closed
3 months ago
Compile parse.x with zero-order invokers of allocs and deallocs still verified
Closed
4 months ago
Write internal linkage tests for functions
Closed
4 months ago
Implement C code generation
Closed
4 months ago
Verify zero-order invokers of allocs and deallocs in new program
Closed
4 months ago
Implement splitting solution for conditional tests
Closed
4 months ago
Write tests for conditional statements of the kind in the parser for Lex
Closed
4 months ago
Write up next program to be verified
Closed
4 months ago
Refactor state module file structure
Closed
4 months ago
Convert EXPR_MEMORY into an ast_stmt
Closed
4 months ago
Move functionality of verify into ast
Closed
4 months ago
Investigate symmetric allocation/deallocation paradigm
Closed
4 months ago
Comments count
1
Remove submodule redeclarations from state header file
Closed
4 months ago
Make the execution paths involving lvalues and rvalues consistent
Closed
4 months ago
Eliminate 75% of leaks (get down to at most 13kB worth)
Closed
4 months ago
Converge value and variable
Closed
4 months ago
Eliminate EXPR_ACCESS
Closed
4 months ago
Previous
Next