🔍 Static Analysis - abnv · Scour

janitor-security/the-janitor: A deterministic, zero-copy structural firewall. Mathematically neutralize Agentic Swarms, supply-chain injections, and architectural necrosis. 🛡️Security Type Systems

github.com·6d·Hacker News

We hardened zizmor's GitHub Actions static analyzer 🌳Tree Shaking

malware.news·2d

The Compiler Flags the Bug. Developers Ship It Anyway. 💬Error Messages

siliconopera.com·13h

Apr-May 2026 AI Security via Formal Methods 🧩SAT Solvers

lesswrong.com·3d

How we used Quint to find over 10 bugs in SQLite while hardening Turso 🛡️Error Handling

turso.tech·5d·Lobsters, Hacker News

Code is only half the System 📱Bytecode Design

evantravers.com·5d

AI red teaming agents change how LLMs get tested 🎲Parser Fuzzing

helpnetsecurity.com·3d·Hacker News

After months of prompt iteration, I admitted some rules can't be prompt-engineered into stability. ⚡Incremental Parsing

github.com·1d·r/PromptEngineering

Formal Verification Gates for AI Coding Loops ✨Gleam

news.ycombinator.com·4d·Hacker News

Autonomous AI needs safeguards beyond model-level guardrails 🏰Capability Machines

techmonitor.ai·6d

AI system developed to help prevent airport collisions 🚂Error Propagation

techxplore.com·6d

Getting Confidence in (Agentic) Code 🧠Memory Ordering

ucsd-cse-115-215.github.io·6d·Hacker News

Assumptions weaken properties 🎲Property Testing

Computer Things via buttondown.com·4d

a13xp0p0v/linux-kernel-defence-map v0.6.17 🗺️Stack Mapping

·10h

Bugcrowd launches reinforcement learning environments to train AI on real software vulnerabilities 🔮Metacircular Evaluators

siliconangle.com·3d

theory uplift differentially benefits safety & is underleveraged 🛡️Capability Security

lesswrong.com·4d

Concurrent Bugs Hide in Timing, Not Logic 🔗Concurrency Primitives

siliconopera.com·3d

We hardened zizmor's GitHub Actions static analyzer 🦀MIR Optimization

blog.trailofbits.com·2d·Hacker News

Skills for Testing Distributed Systems 🧪Test DSLs

github.com·6d·Hacker News, Hacker News

pgrls/pgrls: Static analyzer for Postgres Row-Level Security — 36 lint rules across security, performance, and hygiene; 10 mechanically auto-fixable; semantic policy-diff for CI gating. ✅Configuration Validation

github.com·4d·Hacker News, r/PostgreSQL

Log in to enable infinite scrolling