☆15May 1, 2026Updated 3 weeks ago
Alternatives and similar repositories for conflict-static-analysis
Users that are interested in conflict-static-analysis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Rascal implementation of the Jimple framework.☆13Apr 2, 2022Updated 4 years ago
- This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.☆16Apr 18, 2026Updated last month
- ☆18Sep 2, 2025Updated 8 months ago
- Replication package for ICSE 2022 submission titled "Automatic Merge Conflict Resolution Tools: The Current State and Barriers to Adoptio…☆12Sep 14, 2021Updated 4 years ago
- Monitor and prevent unexpected behavior of Java programs.☆14Jul 6, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- stupid ptrace tricks☆12May 19, 2021Updated 5 years ago
- Malware that TeamTNT found and removed.☆14Nov 27, 2020Updated 5 years ago
- Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, Daphne Yao, Na Meng. Example-Based Vulnerability Detection and Repair in Java Code 30th IEEE/AC…☆10Jul 31, 2022Updated 3 years ago
- An example of GraphQL server built with sangria, http4s and circe which compiles and runs as a GraalVM native image.☆42May 17, 2018Updated 8 years ago
- cve-2018-2894 不同别人的利用方法。☆15Dec 1, 2025Updated 5 months ago
- 程序代码相似度检测方法研究及应用☆12Feb 7, 2020Updated 6 years ago
- Proof of concept exploit about OpenSSL signature_algorithms_cert DoS flaw (CVE-2020-1967)☆19Jun 16, 2024Updated last year
- Simple Library calls tracer☆22Feb 19, 2018Updated 8 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆45Jan 26, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A python script to generate custom wordlists using GPT☆14Dec 3, 2023Updated 2 years ago
- linux kernel LPE using hw_breakpoint attack tech demo☆26Mar 24, 2023Updated 3 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago
- The notes about programming language theory☆27May 7, 2023Updated 3 years ago
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆22Oct 5, 2022Updated 3 years ago
- ☆30Mar 8, 2022Updated 4 years ago
- iTunnel☆17Jul 19, 2018Updated 7 years ago
- Server to invite new contributors to a GitHub organization team.☆101Aug 28, 2018Updated 7 years ago
- This IDA Python plugin is intended to get you started creating IDA Plugins with Python, recognize the importance of deobfuscating strings…☆30Dec 16, 2020Updated 5 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.
- Supplementary Material for XFL☆20Nov 30, 2025Updated 5 months ago
- Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.☆28Oct 11, 2018Updated 7 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆36Dec 16, 2021Updated 4 years ago
- A Java K-means Clustering implementation☆23Mar 1, 2017Updated 9 years ago
- COVA - A static analysis tool to compute path conditions☆40Mar 2, 2026Updated 2 months ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆36Oct 9, 2022Updated 3 years ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated 2 years ago
- tshark cross compiled for android arm64 architecture devices☆31Apr 18, 2017Updated 9 years ago
- RFC 2047 MIME Message Header decoder Rust library.☆12Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Minimal, dependency free implementation of the ctor crate☆17Aug 1, 2024Updated last year
- Demo of shiny working with echarts4r☆16Feb 18, 2020Updated 6 years ago
- Pwndb request API☆24Jul 9, 2020Updated 5 years ago
- OwOwning with the Windows API Examples and Code. DEFCON Furs 2020 presentation.☆13Jan 18, 2024Updated 2 years ago
- Freeze is a payload toolkit for bypassing EDRs using suspended processes, direct syscalls, and alternative execution methods☆14Sep 30, 2022Updated 3 years ago
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆14Aug 8, 2023Updated 2 years ago
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 5 years ago