Top 3 OCaml taint-analysis Projects
Performant type-checking for python.Project mention: Statically typed Python | reddit.com/r/Python | 2021-11-30
Facebook/Instagram uses Pyre which is a typechecker for Python.
Binary Analysis PlatformProject mention: Any standard algorithms for parsing (disassembling) machine code? | reddit.com/r/compsci | 2022-05-13
BAP (https://github.com/binaryanalysisplatform/bap), angr (https://angr.io/) and others already do what you're asking for as more purpose-built solutions for dynamic analysis. Angr specifically in python.
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detectionProject mention: Binary code static analyser, with IDA integration | news.ycombinator.com | 2022-01-13
What are some of the best open-source taint-analysis projects in OCaml? This list will help you:
Are you hiring? Post a new remote job listing for free.