Python3 control flow graph generator
☆208Aug 7, 2022Updated 3 years ago
Alternatives and similar repositories for staticfg
Users that are interested in staticfg are comparing it to the libraries listed below
Sorting:
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆56Jan 28, 2018Updated 8 years ago
- Annotator that adds scope information to an ast☆26Jun 23, 2025Updated 8 months ago
- Flow graphs for Python☆27Sep 21, 2022Updated 3 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- ☆14May 28, 2024Updated last year
- code for "Retrieve and Refine: Exemplar-based Neural Comment Generation"☆15Mar 27, 2021Updated 4 years ago
- Semantic flow graphs for data science☆31Sep 8, 2022Updated 3 years ago
- Replication package for EMNLP2022 paper- RACE: Retrieval-Augmented Commit Message Generation☆20Oct 21, 2022Updated 3 years ago
- Code generation from natural language with less prior and more monolingual data☆13Aug 24, 2021Updated 4 years ago
- Toolbox for working with the Python AST☆16Sep 13, 2023Updated 2 years ago
- Static Python call graph generator☆364Nov 26, 2023Updated 2 years ago
- ☆29Aug 25, 2023Updated 2 years ago
- Incident Notification Platform by @NC3-LU☆11Updated this week
- This repository complements our paper by offering the training dataset, the best-performing models utilized in our real-world experiment,…☆22Mar 7, 2025Updated 11 months ago
- Security diagnostic quick start guide. Identifying the best measures and establishing specific security procedures for your organization.☆11May 29, 2019Updated 6 years ago
- Source code for ISSTA'24 paper "AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation"☆12Oct 21, 2024Updated last year
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Sep 6, 2023Updated 2 years ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆38Jan 10, 2022Updated 4 years ago
- We introduce FixEval , a dataset for competitive programming bug fixing along with a comprehensive test suite and show the necessity of e…☆26Aug 31, 2022Updated 3 years ago
- ☆23Dec 3, 2020Updated 5 years ago
- CodeBERT☆2,737Jul 9, 2023Updated 2 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 8 years ago
- Jolly good library for SPIF/Label/Clearance handling☆11Jan 2, 2024Updated 2 years ago
- A Prompt Learning Framework for Source Code Summarization☆14Dec 26, 2023Updated 2 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- A vulnerability assessment tool for system models☆13Oct 1, 2021Updated 4 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Passive Bitcoin Project☆10Aug 10, 2015Updated 10 years ago
- Evaluation of source authorship attribution tool☆23Jun 5, 2021Updated 4 years ago
- PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.☆25Nov 1, 2018Updated 7 years ago
- A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.☆54Oct 24, 2019Updated 6 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated 3 weeks ago
- The Artifacts for ICSE 2023 paper: Bad Snakes: Understanding and Improving Python Package Index Malware Scanning☆13Feb 8, 2026Updated 3 weeks ago
- Scripts to process big chunks of data from MISP and do in depth correlations on samples.☆12Jul 2, 2016Updated 9 years ago
- Run tests in your markdown☆11Jan 15, 2021Updated 5 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- MISP sighting server is a fast sighting server to store and look-up sightings on attributes (network indicators, file hashes, system indi…☆15Dec 24, 2023Updated 2 years ago
- ☆12Oct 22, 2021Updated 4 years ago