☆15Jun 27, 2026Updated last week
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 tool for massive data collection from GitHub APIs (Rest and GraphQL)☆20Jan 23, 2026Updated 5 months ago
- 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.☆16Jun 22, 2026Updated last week
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Malware that TeamTNT found and removed.☆14Nov 27, 2020Updated 5 years ago
- A userland USB gadget driver for macOS 12 which emulates a HID keyboard☆20May 4, 2022Updated 4 years ago
- This repository is a place to leave and share notes on Hak5 scripts - credit to the many authors for sharing great content.☆14Nov 27, 2021Updated 4 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 7 months ago
- Proof of concept exploit about OpenSSL signature_algorithms_cert DoS flaw (CVE-2020-1967)☆20Jun 16, 2024Updated 2 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆49Jul 6, 2021Updated 5 years ago
- linux kernel LPE using hw_breakpoint attack tech demo☆26Mar 24, 2023Updated 3 years ago
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆22Oct 5, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Supplementary Material for XFL☆20Nov 30, 2025Updated 7 months ago
- Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.☆28Oct 11, 2018Updated 7 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 4 months ago
- The repository for the 100 Guile Programs project☆15May 7, 2013Updated 13 years 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
- ☆37Mar 1, 2020Updated 6 years ago
- RFC 2047 MIME Message Header decoder Rust library.☆13Jun 15, 2026Updated 2 weeks 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.
- Minimal, dependency free implementation of the ctor crate☆17Aug 1, 2024Updated last year
- A unification-based alias analysis and related tools☆35Oct 9, 2024Updated last year
- Demo of shiny working with echarts4r☆16Feb 18, 2020Updated 6 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☆13Sep 30, 2022Updated 3 years ago
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 5 years ago
- YaraSploit is a collection of Yara rules generated from Metasploit framework shellcodes.☆46Nov 7, 2023Updated 2 years ago
- 南京大学-字节跳动合作推出的 Android 实训课程☆26Jul 19, 2021Updated 4 years ago
- AiCSA，Move to https://github.com/hktalent/AiCSA☆10Apr 3, 2023Updated 3 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.
- An Xtext DSL for EMF metamodels refactoring and migration☆13Updated this week
- Soot based Jimple interpreter☆14Mar 31, 2021Updated 5 years ago
- 南大软院2020级软工1大作业提问区☆17Jun 10, 2020Updated 6 years ago
- Use java instrument API without JAR file☆49Jun 19, 2022Updated 4 years ago
- A sample project that shows how to write truly end-to-end tests in Scala☆81Oct 31, 2016Updated 9 years ago
- A solution for llvmvm in MRCTF2022☆11Apr 27, 2022Updated 4 years ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year