#static-analysis

[ follow ]
#ai-assisted-development #smart-contracts #vulnerability-detection #ethereum #dynamic-analysis #python
Information security
fromTechzine Global
2 days ago

Microsoft is tightening restrictions on the use of unsafe code in C#

Unsafe in C# will become an explicit, propagating contract requiring unsafe operations to be contained in unsafe blocks and declared at method boundaries.
Python
Open source projects can fail without maintenance, while pylock.toml lockfiles and Lifeguard help manage Python dependencies and lazy-import compatibility.
Typography
fromPrickles
4 days ago

T2 No Escape Hatches Prickles

Null and escape-hatch types enable unsafe behaviors; type systems and newer TypeScript features aim to prevent silent invalid states by forcing explicit handling.
#ai-assisted-development
Software development
fromDevOps.com
3 weeks ago

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.
fromDevOps.com
3 weeks ago
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.
Software development
fromDevOps.com
3 weeks ago

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
fromDevOps.com
3 weeks ago

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.
more#ai-assisted-development
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.
Python
fromInfoWorld
11 months ago

Get started with Python type hints

Python type hints enhance code clarity and static analysis of code without affecting runtime performance.
frompycoders.com
11 months ago

Issue #684

NumPy's typing support advancements now allow generic arrays to type both shape and dtype, facilitating enhanced static analysis and run-time validation.
Python
[ Load more ]