Pinned Repositories
FindAverage
klee
KLEE Symbolic Execution Engine
misonijnik's Repositories
misonijnik/FindAverage
misonijnik/klee
KLEE Symbolic Execution Engine
misonijnik/bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
misonijnik/clangir
A new (MLIR based) high-level IR for clang.
misonijnik/ComputationalMethods
Задания для курса "Вычислительные методы"
misonijnik/cooddy
Source code (C,C++,Java) static analysis tool
misonijnik/CUDA-STM
misonijnik/fsharp-support
F# support in JetBrains Rider
misonijnik/groupoid.space
Homotopy Type Theory and Cubical Base Library
misonijnik/horusec
Horusec is an open source tool that improves identification of vulnerabilities in your project with just one command.
misonijnik/jb-lab-proceedings
Automatically exported from code.google.com/p/jb-lab-proceedings
misonijnik/skf-labs
Repo for all the OWASP-SKF Docker lab examples
misonijnik/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
misonijnik/SubtypeConstraintGenerator
misonijnik/sv-benchmarks
Collection of Verification Tasks
misonijnik/UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
misonijnik/visualfsharp
The Visual F# compiler and tools
misonijnik/VSharp