python-security / pyt Star 2.2k Code Issues Pull requests 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
lapets / pydrogen Star 9 Code Issues Pull requests 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
OpenC2-org / jadn Star 6 Code Issues Pull requests 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