Xpectuer / miniJuliaSonarView external linksLinks
mini Julia Sonar Repo
☆14Jan 22, 2025Updated last year
Alternatives and similar repositories for miniJuliaSonar
Users that are interested in miniJuliaSonar are comparing it to the libraries listed below
Sorting:
- ☆22Mar 20, 2023Updated 2 years ago
- 这里收录比较实用的计算机相关技术书籍，可以在短期之内入门的简单实用教程、一些技术网站以及一些写的比较好的博文，欢迎Fork，你也可以通过Pull Request参与编辑。☆24Jul 21, 2016Updated 9 years ago
- ☆70Mar 7, 2024Updated last year
- LLM-powered tool that enhances OpenAPI specifications by extracting machine-readable constraints from human-readable descriptions.☆14Nov 6, 2024Updated last year
- Using SVF in Python Projects☆15Feb 6, 2026Updated last week
- ☆42Aug 6, 2021Updated 4 years ago
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago
- An AI-powered plugin for Caldera that orchestrates long-running LLM workflows to automatically create adversary emulation abilities and p…☆21Feb 2, 2026Updated last week
- Visualize NFA and DFA constructed from regular exrepssion☆18Feb 10, 2017Updated 9 years ago
- Examples from "Using Asyncio in Python: Understanding Python's Asynchronous Programming Features"☆46Apr 20, 2023Updated 2 years ago
- CVE-2019-2725 bypass pocscan and exp☆11Jun 21, 2019Updated 6 years ago
- ☆14Dec 27, 2020Updated 5 years ago
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 5 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆13Oct 3, 2024Updated last year
- 使用kprobe获取sys_execve参数☆12Nov 22, 2018Updated 7 years ago
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 6 years ago
- ☆15Jan 24, 2023Updated 3 years ago
- ☆14Jun 16, 2021Updated 4 years ago
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated last year
- Exploits for a heap overflow in MiniDLNA <=1.3.2 (CVE-2023-33476)☆19Jun 20, 2023Updated 2 years ago
- Tools for fuzzing test☆11Oct 18, 2021Updated 4 years ago
- A native Go reader for the old Microsoft Word .doc binary format files☆17Feb 22, 2024Updated last year
- Intercept php includes☆16Dec 23, 2019Updated 6 years ago
- An external retriever for GPTs implemented with Zilliz Cloud Pipelines, a more flexible and economic alternative to default GPTs knowledg…☆16Mar 20, 2024Updated last year
- ☆18Mar 15, 2024Updated last year
- Mini-program Cross Page Request Forgery (MiniCPRF) Analysis Tool.☆18Oct 30, 2024Updated last year
- Code and data for the USENIX 2025 paper "We Have a Package for You! A Comprehensive Analysis of Package Hallucinations by Code Generating…☆22Aug 12, 2025Updated 6 months ago
- Linux game hack example☆13Jul 20, 2019Updated 6 years ago
- Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the I…☆19Aug 25, 2022Updated 3 years ago
- bitshred research project code.☆14Feb 12, 2016Updated 10 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆16Mar 4, 2024Updated last year
- secret sharing service with auto-expiry as default, doesn't need accounts☆19Apr 24, 2025Updated 9 months ago
- ☆15Feb 21, 2022Updated 3 years ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆20Sep 7, 2023Updated 2 years ago
- ☆25Jul 19, 2024Updated last year
- Python CLI and wrapper for the Mobile Security Framework (MobSF) REST-API☆17Feb 9, 2021Updated 5 years ago
- ☆28Feb 27, 2025Updated 11 months ago
- Yet another implementation of PEiD with yara☆17Jan 6, 2017Updated 9 years ago