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

Commits on offline

N1ark
Add `--offline` to Soteria Rust
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
opale
Use indexed dynarrays rather than nested dynarrays (#298)
committed
Sacha Ayoun
Add producers and consumers with substitution to Soteria (#302)
committed
opale
Add sections to CLI arguments (#291)
committed
opale
Fix scripts for artifact (#287)
committed
opale
Symbolic Abstraction (#284)
committed
opale
Cleanup Validity in Rust (#281)
committed
opale
Support Cargo tests: `--test` (#283)
committed
Sacha Ayoun
Nightly + modularize CI (#282)
committed
opale
Re-organise Soteria Rust (#277)
committed
opale
Rust: nicer UX, add `--recursive-validity` (#273)
committed
Sacha Ayoun
Minor changes (#279)
committed
Sacha Ayoun
Improvements on Soteria on user experience for Soteria-C scripts (#276)
committed
Sacha Ayoun
Bump Grace (#261)
committed
opale
Nicer Soteria root documentation (#275)
committed
opale
Document `solvers` and some of `symex` (#266)
committed
Sacha Ayoun
Fuzzer for simplifying constructors (#272)
committed
Sacha Ayoun
fix merging of statistics in experiments script (#269)
committed
Sacha Ayoun
Update readme for "install from source" instructions (#270)
committed
Sacha Ayoun
Fixing the C package (#268)
committed
Sacha Ayoun
Create a Rust package (#265)
committed
Sacha Ayoun
Add CI check that opam files were up to date (#264)
committed
Sacha Ayoun
Rust: Make Rustsymex state carry the entire current stack trace (#263)
committed
Sacha Ayoun
Add `versionsync pull` command (#262)
committed
Sacha Ayoun
Bump Charon, more intrinsics (#260)
committed
Sacha Ayoun
Create a Soteria.Config module to centralise configuration (#258)
committed
opale
Bump Obol and Charon (#257)
committed
opale
Versioning in README.md (#256)
committed
Sacha Ayoun
Fix off-by-one column in Rust diagnostic printing (#255)
committed
Sacha Ayoun
Track current code location being executed using a State Monad in C (#254)
committed
opale
Cleanup of Rust errors, format comments (#253)
committed
Sacha Ayoun
Script to synchronise versions (#252)
committed
Sacha Ayoun
Minor styling improvements in Soteria-linear (#249)
committed
Sacha Ayoun
Reduce signature duplication in pmap and pmap.mli (#250)
committed
Sacha Ayoun
Extract Symex.Core from Symex.Base, reduce code in State_monad (#251)
committed
opale
Generalise statistics (#246)
committed
opale
Add Analysis Filters (#247)
committed
Sacha Ayoun
Run CI on merge queue
committed
Sacha Ayoun
Write interpreters and state using State Monads (#237)
committed
opale
Add bitwise reductions (#245)
committed
opale
Revamp `Logs`/`Terminal` split (#244)
committed
Sacha Ayoun
Add a `fail_fast` option to terminate execution at error (#243)
committed
opale
Bump Charon (#242)
committed