System Dependence Graph generation from Java source code
☆19Jun 11, 2019Updated 6 years ago
Alternatives and similar repositories for sourcedg
Users that are interested in sourcedg are comparing it to the libraries listed below
Sorting:
- PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code☆89Aug 8, 2021Updated 4 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 9 years ago
- Code for the paper "Embedding Java Classes with code2vec: Improvements from Variable Obfuscation" in MSR 2020☆32Mar 24, 2023Updated 2 years ago
- Official repository for PraPR source code☆14May 11, 2021Updated 4 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆70Feb 27, 2026Updated last week
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆22Aug 23, 2021Updated 4 years ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Mar 13, 2019Updated 6 years ago
- This tool is a Program Dependence Graph generator for a given input file in the programming language Java that can be outputed as a dot f…☆23Dec 29, 2019Updated 6 years ago
- NASA Cleaned Defect Datasets☆67Aug 9, 2016Updated 9 years ago
- Code Analyst is a program that provides an integrated view of various indicators of code quality.☆14Oct 25, 2024Updated last year
- Automation Testing☆10Apr 7, 2018Updated 7 years ago
- Introducing CFG（control flow graph） and PDG (program dependency graph) into AST (abstract syntax tree) implementation using Java Paser an…☆24Apr 19, 2019Updated 6 years ago
- FaCoY Code-to-Code Search Engine☆33Jan 18, 2019Updated 7 years ago
- (Abstract) Abstract Machine Experiments using Scala☆36Jan 15, 2021Updated 5 years ago
- Code for the ICPC 2020 paper Improved Source Code Summarization via a Graph Neural Network☆68Apr 9, 2021Updated 4 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Dec 8, 2016Updated 9 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- Web queries dataset for code search☆32Jun 3, 2023Updated 2 years ago
- Models and datasets for annotated code search.☆35May 22, 2023Updated 2 years ago
- Your library for dynamic language modeling☆66Oct 23, 2018Updated 7 years ago
- A library for building intraprocedural PDGs for Java programs☆36Sep 28, 2023Updated 2 years ago
- IST'21 & SANER'22: Semantic-Preserving Program Transformations☆31Oct 25, 2022Updated 3 years ago
- Clone of JSAI static analysis framework☆13Jul 29, 2017Updated 8 years ago
- Cross-Project Software Defect Prediction via Statement Semantic Learning and Maximum Mean Discrepancy☆10Jul 26, 2021Updated 4 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Dec 2, 2010Updated 15 years ago
- ☆12Jan 5, 2025Updated last year
- JaSoMe (Java Source Metrics) - Object Oriented Metrics analyzer for Java code☆34Mar 6, 2024Updated 2 years ago
- Helmet 5 Model system☆11Updated this week
- I have made these steps for people who are struggling connecting their Geth nodes to Beacon Proof of Stake chain Ethereum using Consensus…☆11Jun 26, 2023Updated 2 years ago
- ☆12Nov 22, 2024Updated last year
- A list of all projects by UW CSE students.☆11Feb 8, 2016Updated 10 years ago
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆38May 20, 2022Updated 3 years ago
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆415Updated this week
- An accurated list of things to test while pentesting☆11Jan 2, 2021Updated 5 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Semantic dependency relationship extractor untuk bahasa Indonesia... termasuk bahasa gaul dan alay ;) (terinspirasi oleh OpenCog RelEx)☆10Oct 2, 2015Updated 10 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- Official implementation for "How Should We Meta-Learn Reinforcement Learning Algorithms?"☆23Sep 7, 2025Updated 6 months ago