#

abstract-syntax

Repositories 7

python-security / pyt

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

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

Python Updated Jan 30, 2019 6 issues need help

RedPRL / sml-typed-abts

second-order abstract syntax

syntax binding abstract-syntax

Standard ML Updated Feb 26, 2018

ayberkt / abt

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

binding substitution variable abstract-syntax

OCaml Updated Nov 30, 2018

rodrigooler / soljs

Parser to convert Javascript code to Solidity using abstract syntax tree

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

TypeScript Updated Jan 10, 2019

OpenC2-org / jadn

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

json serializer abstract-syntax encoder schema validation

Python Updated Mar 9, 2018

lapets / pydrogen

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

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

Python Updated Sep 17, 2017

cleversonledur / GCCTranslationUnitParser

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

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

C++ Updated Feb 1, 2017

Loading…

You can’t perform that action at this time.