Static Analysis Solutions
We provide high-quality solutions for parsing, compilation, and static analysis
Great solutions are delivered on time
We follow the industry best practices and technologies to deliver creative, high-quality solutions, tailored to the needs of our clients.
- Clean Code
- Maintainable
- High-performance
- On Schedule
Our deep expertise includes
- Parsing
- Dataflow/Taint analysis
- Type analysis
- Compilation
- Transpilation
- De-compilation
- Automatic bug detection
Past Projects
Examples of successful static-analysis projects we wrote from scratch.
Antivirus for Android Applications
Client: Lacoon (acq. by Checkpoint)
- Implemented advanced bidirectional dataflow analysis, accounting for complex side-effects and I/O operations
- The tool was integrated into production as the main detector for new and unknown Android malware
- Achieved less than 5% false-positive rate
SQL Lineage Analysis
Client: Datafold
- Implemented a custom parser using Lark, capable of handling multiple SQL dialects with the same grammar
- Implemented column-level lineage
- The implementation is used in production (powers this)
"We worked with Erez to implement parsing & static code analysis using Lark, and he has been very helpful and effective. Erez is a highly competent and diligent engineer and a great person to work with."
SQL Bug Detection System
Client: Foundational
- Implemented dataflow analysis, lineage tracking, and type inference
- Utilized pattern matching algorithms to identify potential bugs
PowerQuery M Lineage Analysis
Client: Foundational
- Developed a specialized lineage analysis tool for Microsoft's PowerQuery M language
- Included support for dynamic evaluation and embedded SQL queries
Python code "tree-shaking"
Client: Foundational
- Used data-flow analysis to extract relevant Python code and its dependencies
- The extracted code was able to run outside of its originating project and environment
Other clients include: T1A (data engineering in Python) and Grit (transpilation in Rust).
Ready to solve your static analysis and compilation challenges?
Let's discuss how we can help.