System Dependence Graph generation from Java source code
☆20Jun 11, 2019Updated 7 years ago
Alternatives and similar repositories for sourcedg
Users that are interested in sourcedg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code☆90Aug 8, 2021Updated 5 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆72Apr 15, 2026Updated 6 months ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Mar 13, 2019Updated 7 years ago
- FaCoY Code-to-Code Search Engine☆34Jan 18, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Introducing CFG(control flow graph) and PDG (program dependency graph) into AST (abstract syntax tree) implementation using Java Paser an…☆24Apr 19, 2019Updated 7 years ago
- A string deobfuscator for Android applications using backwards program slicing☆15Aug 10, 2019Updated 7 years ago
- A Python implementation of a language-agnostic Code Property Graph☆20Jun 10, 2024Updated 2 years ago
- statically vetting android apps based soot☆19Dec 24, 2015Updated 10 years ago
- NASA Cleaned Defect Datasets☆68Aug 9, 2016Updated 10 years ago
- java-callgraph-spoon,使用静态分析工具spoon构造方法调用图callgraph ,源代码方法级别☆15Oct 31, 2023Updated 3 years ago
- ☆13Mar 8, 2023Updated 3 years ago
- an example airship app☆14Jul 14, 2016Updated 10 years ago
- A Static Code Feature Extraction Tool for Java and Android☆21Jun 7, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13May 19, 2024Updated 2 years ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- Official repository for PraPR source code☆14May 11, 2021Updated 5 years ago
- ☆22Jan 2, 2023Updated 3 years ago
- Helmet 5 Model system☆12Updated this week
- ☆14Aug 21, 2020Updated 6 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆23Aug 23, 2021Updated 5 years ago
- A library to generate AST, CFG, PDG for Java program☆17Jun 13, 2021Updated 5 years ago
- An ingredient for tasty that prints a summary and outputs junit xml that works with jenkins.☆13Feb 19, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Quarto extension for a TU Delft theme.☆11May 20, 2025Updated last year
- Event-based tracing to measure Android application and platform performance☆10Aug 5, 2013Updated 13 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Dec 18, 2017Updated 8 years ago
- ☆16Dec 25, 2022Updated 3 years ago
- ☆15Mar 15, 2022Updated 4 years ago
- ☆10Apr 17, 2017Updated 9 years ago
- Non-Autoregressive Math Word Problem Solver with Unified Tree Structure☆12Jan 13, 2024Updated 2 years ago
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- Tool & data on the correctness of Defects4 patches generated by program repair tools http://arxiv.org/pdf/1909.13694☆12May 29, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆470Updated this week
- Genetic program repair using GHC☆33May 16, 2024Updated 2 years ago
- A pytorch implementation of the paper: Self-Attention Enhanced Selective Gate with Entity-Aware Embedding for Distantly Supervised Relati…☆11Nov 15, 2020Updated 5 years ago
- Multi-Objectives program Repair Framework☆12May 16, 2025Updated last year
- Automation Testing☆10Apr 7, 2018Updated 8 years ago
- Simple boolean expression evaluation engine for python.☆16May 11, 2023Updated 3 years ago
- Cross-Project Software Defect Prediction via Statement Semantic Learning and Maximum Mean Discrepancy☆10Jul 26, 2021Updated 5 years ago