Interpretica

Interpretica

UPTEC Asprela I

At Interpretica, we are developing intelligent language-agnostic static analysis tools that are capable of verifying complete software solutions with all dependencies and subprojects in one context, uncovering subtle defects and vulnerabilities between modules. The analyzer finds architecture violations before they become actual problems. The mathematical core of our tool has foundations in a mix of modern Abstract Interpretation and Model Checking methods, featuring precise abstractions for low-level structure representation with the support for all major processor families, operating systems and compilers. This approach is based on our research in the static analysis field and our experience in cybersecurity. We aim to make the tool beneficial to our customers, so it offers generic defect and vulnerability detectors, deep comparisons between actual/expected behaviours (verification), and the ability to customize the analysis for better precision in your project.

Website

Email