A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

second-order abstract syntax

Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.

Ocaml port of CMU's ABT library (with various modifications).

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).

JSON document format for expressing abstract schemas, including message serialization and validation libraries.

Parser to convert Javascript code to Solidity using abstract syntax tree

Python's built-in libraries include powerful tools for retrieving and operating over abstract syntax trees. This article provides an overview of how to use these features to analyze and transform Python code programmatically.

This is a parser that I created using ANTLR. This parses the translation unit file generated by GCC when using the -fdump-translation-unit flag.

Segundo taller de fundamentos de lenguajes de programación.