python-security / pytStar 2.2k Code Issues Pull requestsA Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applicationspython 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-analysisUpdatedDec 25, 2020 Python
lapets / pydrogenStar 9 Code Issues Pull requestsPython 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 overloadingUpdatedSep 17, 2017 Python
OpenC2-org / jadnStar 6 Code Issues Pull requestsJSON document format for expressing abstract schemas, including message serialization and validation libraries.json schema validation serializer encoder abstract-syntaxUpdatedMar 9, 2018 Python