A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats
gosec is a static analysis security tool designed to scan Go source code for vulnerabilities and common coding flaws. It functions as a security analyzer that inspects the abstract syntax tree to identify insecure function calls, API usage, and potential security risks. The tool distinguishes itself by mapping detected vulnerabilities to Common Weakness Enumeration identifiers for standardized reporting and integrating with external AI models to suggest code fixes for identified issues. Its capabilities cover the detection of injection vulnerabilities, hardcoded credentials, weak cryptograph
CodeQL is a semantic code analysis engine and vulnerability scanning tool that treats source code as data. It utilizes a static analysis query language to define complex patterns and security vulnerabilities within a code graph database. The system represents source code as a relational database, enabling the execution of structural queries and data flow analysis. This approach allows for the detection of security flaws and coding errors across large-scale repositories. The tool provides capabilities for automated code auditing, static analysis security testing, and custom vulnerability dete
Packj stops :zap: Solarwinds-, ESLint-, and PyTorch-like attacks by flagging malicious/vulnerable open-source dependencies ("weak links") in your software supply-chain
ossillate-inc/packj की मुख्य विशेषताएं हैं: Infrastructure and Configuration, Archive Analysis, Security and Vulnerability Scanning।
ossillate-inc/packj के ओपन-सोर्स विकल्पों में शामिल हैं: microsoft/binskim — A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix… jkinder/jakstab — The Jakstab static analysis platform for binaries. securego/gosec — gosec is a static analysis security tool designed to scan Go source code for vulnerabilities and common coding flaws.… lintsinghua/deepaudit — DeepAudit is a privacy-preserving code audit platform that combines multiple specialized AI agents to identify and… facebook/pyre-check — Pyre is a high-performance static type checker and analysis tool for Python. It identifies type errors and ensures… byt3bl33d3r/crackmapexec — CrackMapExec is a network penetration testing framework and automated security scanner designed to assess security…
