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

python flask security static-code-analysis static-analysis python3 abstract-syntax control-flow-graph dataflow program-analysis taint-analysis fixed-point abstract-syntax-tree taint pyt fixed-point-analysis dataflow-analysis

• Updated Dec 25, 2020
• Python

second-order abstract syntax

syntax binding abstract-syntax

• Updated Sep 15, 2021
• Standard ML

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

haskell scala abstract-syntax type-safe

• Updated Nov 7, 2026
• Haskell

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

semantics static-analysis decorators python-library abstract-syntax abstract-interpretation overloading

• Updated Sep 17, 2017
• Python

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

binding variable abstract-syntax substitution

• Updated Apr 19, 2024
• OCaml

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

json schema validation serializer encoder abstract-syntax

• Updated Mar 9, 2018
• Python

Parser to convert Javascript code to Solidity using abstract syntax tree

javascript open-source parser node typescript js es6 smart-contracts blockchain abstract-syntax solidity abstract-syntax-tree

• Updated Jan 10, 2019
• TypeScript

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.

parser compiler cpp parser-library gcc antlr ast clang antlr-grammar abstract-syntax gcc-complier antlr4 lexer compilers lexer-generator parser-plugin

• Updated Feb 1, 2017
• C++

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.

python code-analysis ast abstract-syntax code-transformation python-syntax python-syntax-converter python-articles python-introduction python-syntax-and-semantics

• Updated Oct 18, 2020
• Jupyter Notebook

Segundo taller de fundamentos de lenguajes de programación.

abstract-syntax abstract-data-types drracket fundamentals-of-programming

• Updated Feb 22, 2020
• Racket