☆34Oct 18, 2013Updated 12 years ago
Alternatives and similar repositories for pytaint
Users that are interested in pytaint are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- JAVA Vul Code JAVA常见漏洞与防御代码示例☆10Sep 18, 2018Updated 7 years ago
- Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.☆28Oct 11, 2018Updated 7 years ago
- ☆12Sep 27, 2020Updated 5 years ago
- Proof of concept showing how java byte code can be injected through InitialContext.lookup() calls☆43Jan 22, 2016Updated 10 years ago
- BCEL class转换插件☆26Apr 5, 2021Updated 5 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.
- an example of dragging control points of bezier curves using d3.js☆10Sep 6, 2014Updated 11 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆13Sep 27, 2021Updated 4 years ago
- ☆17Jul 25, 2024Updated 2 years ago
- 🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。☆12May 31, 2021Updated 5 years ago
- A spec-compliant gitignore parser☆10Mar 22, 2016Updated 10 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- llvm Call Graph分析☆10May 27, 2017Updated 9 years ago
- A rule-based static code analyzer with PeopleCode-specific features and an extensible plug-in architecture.☆10Apr 10, 2021Updated 5 years ago
- Generate CPG for multiple languages for code and threat analysis☆12Sep 22, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- "When one door of happiness closes, another opens; but often we look so long at the closed door that we do not see the one which has been…☆17Aug 17, 2021Updated 5 years ago
- ☆40Sep 14, 2016Updated 9 years ago
- ☆10Dec 5, 2017Updated 8 years ago
- ☆13Feb 11, 2022Updated 4 years ago
- Get the latest version of various HashiCorp packages.☆12May 27, 2020Updated 6 years ago
- PowerShell module for the exploitation and testing☆16Jul 5, 2015Updated 11 years ago
- 一些Java RASP demo☆11Sep 26, 2019Updated 6 years ago
- A Pulp plugin that manages File content, e.g. repositories of file content.☆14Dec 1, 2025Updated 9 months ago
- VCV Rack Modules☆14Dec 29, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Basic x86 Symbolic Execution for educational purposes☆18May 8, 2017Updated 9 years ago
- Past presentation materials☆10Jul 10, 2018Updated 8 years ago
- Repository for OWASP Code Review document☆17Jun 24, 2014Updated 12 years ago
- SublimeLinter plugin for Python, using bandit☆11Apr 24, 2025Updated last year
- Inline password encryption alternative to ansible-vault☆12Jun 5, 2018Updated 8 years ago
- A python script to help calculate a lead and cycle time for code reviews☆13Jan 27, 2026Updated 7 months ago
- Extremely Simple JSON for C++☆17Jan 19, 2016Updated 10 years ago
- A library of formal models in the jani-model format.☆14Sep 5, 2022Updated 3 years ago
- POC of a dataprovider using a sqlite database hosted on a static server☆19Apr 22, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆15Aug 11, 2025Updated last year
- ☆11Aug 5, 2014Updated 12 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 3 years ago
- Mickey's DBus Introspection and Interaction Utility V2☆12Apr 7, 2015Updated 11 years ago
- Jess is short for Joern extended by Semantic Slicing. This tool allows you to import C code into a Code Property Graph, and then compute …☆17May 22, 2024Updated 2 years ago
- A proof of concept for obfuscating an x86_64 ELF executable without binary lifting. Done as a challenge project.☆18Feb 12, 2019Updated 7 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Oct 17, 2018Updated 7 years ago