GitHub repository: wnagzihxa1n/CodeAlchemist
Primary language: F#
Description: Semantics-aware Code Generation for Finding JS engine Vulnerabilities