Explore projects
-
Control Flow Graph Query Engine. Algorithms and data structures (API) for queries manipulating CFG (such as building CFG during compilation, CFG traversal, node/edge metadata manipulation).
Updated -
-
Common BUS for communication of all Testos componens.
Updated -
A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning
Updated -
Updated
-
-
Updated
-
A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning
Updated -
Experimental extension of Forester for Resource Bounds computation.
Updated -
-
Updated
-
A tool for automated translation of specification to a structured data.
Updated -
A project for the course Computer Communications and Networks (bachelor's studies).
Updated -
-
-