#

abstract-syntax

Here are 10 public repositories matching this topic...

python-security / pyt

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

RedPRL / sml-typed-abts

second-order abstract syntax

syntax binding abstract-syntax

Updated Sep 15, 2021
Standard ML

lapets / pydrogen

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

ayberkt / abt

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

binding variable abstract-syntax substitution

Updated Apr 19, 2024
OCaml

fizruk / free-foil

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

haskell scala abstract-syntax type-safe

Updated Oct 29, 2024
Haskell

OpenC2-org / jadn

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

rodrigooler / soljs

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

cleversonledur / GCCTranslationUnitParser

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-supply / analyzing-and-transforming-abstract-syntax

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

DiegoTimana / tad_sintaxis-abstracta_flp

Segundo taller de fundamentos de lenguajes de programación.

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

Updated Feb 22, 2020
Racket

Improve this page

Add a description, image, and links to the abstract-syntax topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the abstract-syntax topic, visit your repo's landing page and select "manage topics."