Symbolica
Symbolic execution as a service. Find bugs faster by exploring every reachable state of your program.
Pinned Loading
Repositories
Showing 7 of 7 repositories
- Symbolica.Z3 Public
Symbolica/Symbolica.Z3’s past year of commit activity - Symbolica.Extensions.Configuration.FSharp Public
Provides a safe API for binding the dotnet IConfiguration to types in F#.
Symbolica/Symbolica.Extensions.Configuration.FSharp’s past year of commit activity - iob-cache Public
Symbolica/iob-cache’s past year of commit activity - Symbolica.LLVMSharp Public
Symbolica/Symbolica.LLVMSharp’s past year of commit activity - actions Public
GitHub actions that allow you to run Symbolica on your code as part of a workflow on GitHub.
Symbolica/actions’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…