#static-analysis tag

Vercel's deepsec Brings AI-Powered Security Scanning Into the Development Workflow - DevOps.com

Deepsec automates early, agent-driven security review by scanning, investigating, revalidating, enriching, and exporting findings from large codebases on your infrastructure.

Software development

The Messy Reality of Vibe Coding - DevOps.com

AI-assisted development increases risk visibility when paired with safety systems, review, and multi-model cross-checking rather than blanket bans or panic.

Vercel's deepsec Brings AI-Powered Security Scanning Into the Development Workflow - DevOps.com

Deepsec automates early, agent-driven security review by scanning, investigating, revalidating, enriching, and exporting findings from large codebases on your infrastructure.

more#ai-assisted-development

The Messy Reality of Vibe Coding - DevOps.com

AI-assisted development increases risk visibility when paired with safety systems, review, and multi-model cross-checking rather than blanket bans or panic.

Information security

fromDEV Community

3 months ago

I Let Claude Write 60 Functions. 65-75% Had Security Vulnerabilities.

AI code generation models produce insecure code by default, with no statistically significant difference among the tested models.

Python

fromRealpython

7 months ago

Astral's ty: A New Blazing-Fast Type Checker for Python - Real Python

ty is a fast Rust-based static type checker for Python suitable for personal projects but not yet production-ready due to missing features and bugs.

Cryptocurrency

fromHackernoon

10 months ago

A Static Taint Analyzer for Address Verification Vulnerabilities in Ethereum | HackerNoon

Vulnerability detection in smart contracts utilizes varied methodologies based on analysis types and detection principles.