☆15May 21, 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:
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- 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 9 months ago
- Monitor and prevent unexpected behavior of Java programs.☆14Jul 6, 2021Updated 4 years ago
- 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.
- PoC for CVE-2022-22954 - VMware Workspace ONE Access Freemarker Server-Side Template Injection☆10Apr 12, 2022Updated 4 years ago
- An Android Instrumentation tool to compute Code Coverage☆19Apr 28, 2026Updated last month
- ☆16May 7, 2016Updated 10 years ago
- A userland USB gadget driver for macOS 12 which emulates a HID keyboard☆20May 4, 2022Updated 4 years ago
- Versão web da aplicação GoBarber que será utilizada pelos prestadores de serviço da aplicação para visualizar os agendamentos e selecion…☆12Sep 15, 2021Updated 4 years ago
- cve-2018-2894 不同别人的利用方法。☆15Dec 1, 2025Updated 6 months ago
- 程序代码相似度检测方法研究及应用☆12Feb 7, 2020Updated 6 years ago
- Proof of concept exploit about OpenSSL signature_algorithms_cert DoS flaw (CVE-2020-1967)☆20Jun 16, 2024Updated 2 years ago
- Simple Library calls tracer☆22Feb 19, 2018Updated 8 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.
- Flutter Plugin to query Android Usage Statistics (Configurations, Events, Usage, Network)☆18Jun 6, 2026Updated last week
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆45Jan 26, 2024Updated 2 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆49Jul 6, 2021Updated 4 years ago
- A python script to generate custom wordlists using GPT☆14Dec 3, 2023Updated 2 years ago
- My solutions to problems in Arora & Barak's textbook Computational Complexity☆18Dec 21, 2011Updated 14 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
- ☆21Nov 28, 2023Updated 2 years ago
- The notes about programming language theory☆27May 7, 2023Updated 3 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.
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆22Oct 5, 2022Updated 3 years ago
- ☆23Apr 9, 2024Updated 2 years ago
- iTunnel☆17Jul 19, 2018Updated 7 years ago
- Aplicação desenvolvida em ReactJS. Re-criação de um layout do SIGAA.☆18Feb 4, 2026Updated 4 months ago
- This IDA Python plugin is intended to get you started creating IDA Plugins with Python, recognize the importance of deobfuscating strings…☆31Dec 16, 2020Updated 5 years ago
- Supplementary Material for XFL☆20Nov 30, 2025Updated 6 months ago
- Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.☆28Oct 11, 2018Updated 7 years ago
- Official implementation of AsmDepictor, "A Transformer-based Function Symbol Name Inference Model from an Assembly Language for Binary Re…☆29Apr 30, 2024Updated 2 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆36Dec 16, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Java K-means Clustering implementation☆23Mar 1, 2017Updated 9 years ago
- COVA - A static analysis tool to compute path conditions☆40Mar 2, 2026Updated 3 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
- ☆37Mar 1, 2020Updated 6 years ago
- RFC 2047 MIME Message Header decoder Rust library.☆13Jun 1, 2026Updated 2 weeks ago
- Demo of shiny working with echarts4r☆16Feb 18, 2020Updated 6 years ago