LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

OCaml

soteria

Sound static analysis for the masses.

OCamlEmerging

Stars

—

Forks

—

Contributors

6

Last push

2mo ago

Recent commits

Latest commits.

Generate flamegraphs during Symex (#259)
d6d1eafSacha Ayoun2mo ago
Existential quantifiers as symbolic values (#147)
0aa3e4ePedro Carrott2mo ago
More stubs: `unix::time`, `env::_var`, `thread::available_parallelism`, `tokio::RngSeed::new` (#324)
054c15bSacha Ayoun2mo ago
Parametric Tree Borrows (#308)
b35b5dfopale2mo ago
A few fixes on how learning of variables work (#323)
e190366Sacha Ayoun2mo ago

Add callgraph support for Soteria-Rust (#321)

2e3e4abSacha Ayoun2mo ago

atomic_xadd and overflow check (#320)

9d8d631Sacha Ayoun2mo ago

Use released version of ppx_mixins (#319)

e0de1cfSacha Ayoun2mo ago

Top contributors

Builders behind this project.