Static Analysis Solutions
We provide high-quality solutions for parsing, compilation, and static analysis
Our projects are performant, maintainable, tailored to your needs, and on schedule.
Broad range of expertise
Our expertise includes:
- Parsing
- Dataflow analysis
- Compilation
- De-compilation
- Transpilation
- Type analysis
- Bug detection
Past Projects
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.