soteria
READ-ONLY MIRROR of the previous soteria repo
Star
Fork
Watch

Commits on nullptrchecks

Sacha Ayoun
remove one cause of decay
committed
opale
Bump Charon and Obol (#381)
committed
Sacha Ayoun
Rust: Disjoint exposed addresses (#380)
committed
Sacha Ayoun
Fix Unsoundness in Interval Analysis (#377)
committed
opale
Add `--offline` to Soteria Rust (#375)
committed
Sacha Ayoun
Factor out logic of python scripts into soteria_utils.py (#373)
committed
Sacha Ayoun
Iarray helpers (#372)
committed
Sacha Ayoun
Utilities in tree_state.ml (#371)
committed
opale
Bump Charon and Obol (#369)
committed
opale
Implement the `caller_location` intrinsic (#370)
committed
opale
Detect writes to read-only memory (#368)
committed
opale
Cleaner transmutes (#366)
committed
Sacha Ayoun
Automatic action pinning (#367)
committed
opale
Faster CI (#365)
committed
opale
Bump Charon (#363)
committed
Sacha Ayoun
Minor helpers (#364)
committed
Sacha Ayoun
Fix nondet_raw for unions (#362)
committed
Sacha Ayoun
More performance improvements (#360)
committed
Sacha Ayoun
Don't hardcode name of the repo in actions (#361)
committed
Sacha Ayoun
Dependency upgrades & cleanup rust files (#359)
committed
opale
Update the README.md (#358)
committed
opale
Weak Tree Borrows (#357)
committed
Sacha Ayoun
BtreeSet sort benchmark + trivial inequalities (#356)
committed
opale
Minor doc improvements (#355)
committed
Sacha Ayoun
Drastically improve performance of Rust WPST (#349)
committed
Sacha Ayoun
Improve aliasing logic in stubs (#354)
committed
Sacha Ayoun
Agent files + AI Policy (#347)
committed
opale
Make `Symex.run` return a syntactic PC (#345)
committed
Sacha Ayoun
Update to all workflows + benchmarks (#352)
committed
opale
Auto-sync website API doc (#346)
committed
Sacha Ayoun
Implement sysconf (#350)
committed
Sacha Ayoun
Replace simple_smt dependency with in-house soteria.smt (#343)
committed
Sacha Ayoun
Simplify README (#342)
committed
opale
Bump Charon, fixes, Rust improvements (#340)
committed
Sacha Ayoun
Remove the VSCode plugin for Soteria-C (#339)
committed
Sacha Ayoun
Deploy linux package (#337)
committed
Sacha Ayoun
Automatically balance the TreeBlocks (#335)
committed
opale
Nicer CI (#334)
committed
opale
Better symex run (#327)
committed
opale
Clean up tech debt (#326)
committed
Pedro Carrott
Consumption of non-consumable pure atoms via existential quantification (#328)
committed
opale
Automate wrappers around stubs (#325)
committed
Sacha Ayoun
Fix and test the import of Soteria as a library (#329)
committed
Sacha Ayoun
Generate flamegraphs during Symex (#259)
committed
Pedro Carrott
Existential quantifiers as symbolic values (#147)
committed
Sacha Ayoun
More stubs: `unix::time`, `env::_var`, `thread::available_parallelism`, `tokio::RngSeed::new` (#324)
committed
opale
Parametric Tree Borrows (#308)
committed
Sacha Ayoun
A few fixes on how learning of variables work (#323)
committed
Sacha Ayoun
Add callgraph support for Soteria-Rust (#321)
committed
Sacha Ayoun
atomic_xadd and overflow check (#320)
committed
Sacha Ayoun
Use released version of ppx_mixins (#319)
committed
Sacha Ayoun
Improve simplification fuzzer (shrinker, checked operators) (#274)
committed
opale
Bump Charon and Obol (#312)
committed
Sacha Ayoun
Use ppx_mixins (#317)
committed
opale
Add `[@@deriving sym_state]` (#299)
committed
Sacha Ayoun
`x * (y / x)` cannot overflow with unsigned ops (#316)
committed
opale
Add `[%l.debug ...]` PPX for logging (#310)
committed
opale
Small state improvements (#309)
committed
opale
Add `[@@deriving reversible]` (#297)
committed
Sacha Ayoun
Tutorial for Logs and Stats (#296)
committed