yian-lang/lian
A next-generation general program analysis framework for security validation, supporting Python, JavaScript, Java, PHP, Go, C, TypeScript
GitHub repository with 15 stars and 3 forks.
Language: Python
Topics: data-flow, pointer-analysis, program-analysis, security-analysis, security-audit, taint-analysis