🔍 Static Analysis - buckman · Scour

My practitioner view of program analysis 🔤C Programming

sawyer.dev·6d·Hacker News

How Static Code Analysis Helps Reduce Software Bugs, and Money Spent! 🔍Binary Diffing

blog.jetbrains.com·11h

Spinel: Ruby AOT Native Compiler 🦀Rust

github.com·2d·Lobsters, Hacker News

Online CSS Code Quality Analyzer 🔍Binary Diffing

projectwallace.com·4h

I built a repo structural audit — bus factor, churn, god files, dependency rot, gap analysis 🔬Binary Analysis

drive.google.com·15h·DEV

Two AIs, One PR: Adversarial Code Review with LLMs 🤖AI Coding Tools

p.agnihotry.com·2d·Hacker News

How to Make a Fast Dynamic Language Interpreter 🦀Rust

zef-lang.dev·5d·Lobsters, Hacker News, r/programming

Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour 🦀Rust

dsyme.net·6d·Hacker News

samchon/ttsc: A `typescript-go` toolchain for compiler-powered transforms and type-safe execution. 🐹golang

github.com·2d·r/javascript, r/typescript

Verus is a tool for verifying the correctness of code written in Rust 🦀Rust

verus-lang.github.io·6d·Hacker News

One Tool to Rule Them All: File Metadata & Static Analysis for Malware Analysts and SOC Teams 🔍Binary Diffing

infosecwriteups.com

·3d

LemmaScript: A Verification Toolchain for TypeScript via Dafny 🔍Binary Diffing

midspiral.com·4d·Lobsters, Hacker News

Keeping code quality high with AI agents 📋AGENTS.md

locastic.com·5d·Hacker News

SCOUT-CT: Sound Constant-Time Outcome with Uncertainty Tracking using multi-taint analysis 🔍Detection Engineering

eprint.iacr.org·6d

Bytes: The TypeScript 7.0 prophecy is fulfilled 🦀Rust

Javascript updates via kill-the-newsletter.com·3d

vincentarelbundock/scrutin: Quality dashboard, file watcher, and parallel runner 📊Performance Tools

·5d

midspiral/LemmaScript: verification toolchain for TypeScript (Tech Preview) 🔒Protocol Verification

github.com·5d·Hacker News

andrewstellman/quality-playbook: Real defects from real open-source repos. A benchmark for measuring AI-assisted code review detection rates. 🤖AI Coding Tools

trailofbits/skills: Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows 🤖AI Coding Tools

github.com·3d·Hacker News

Fable 5, F# compiler released 🦀Rust

github.com·4d·Hacker News

Log in to enable infinite scrolling