🔍 Abstract Interpretation - ghosh.debasish · Scour

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery ✅Formal Verification

arxiv.org·1d

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group ✅Formal Verification

lemmy.ml·6d

Program Analysis: A Pragmatic Approach 🔤PLT

homes.cs.washington.edu·1d·Lobsters

🐍 When Static Analysis Turns Dangerous: Command Injection in NASA’s Cobra Tool 🖥️Systems Programming

medium.com·4d

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety ✅Formal Verification

embedded.com·1d

TheAuditorTool/sast-benchmark: The first public OWASP-style SAST benchmark suite for Go, Rust, and Bash. Ground truth test cases with vulnerable/safe classifications for measuring detection accuracy (Youden's formula) of any static analysis tool. 🧪Property-based Testing

github.com·1d·Hacker News

[RFC] JSIR: A High-Level IR for JavaScript 🔧Intermediate Representations

discourse.llvm.org·4d·Lobsters, Hacker News, Hacker News, Hacker News

Some sober thinking about Mythos (full version with links at my newsletter): 🤖Claude

twitter.macworks.dev

·1d

Meet Vespasian. It Sees What Static Analysis Can’t. 🧪Property-based Testing

praetorian.com·6d

Protected quantum gates using qubit doublons in dynamical optical lattices 🔧SMT Solvers

nature.com

·1d

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations 🖥️Systems Programming

arxiv.org·8h

Supply Chain Attacks Surge in March 2026 🦀Rust

malware.news·6d

Collective Interference of Phonon Spin and Dipole Moment Rotation Induced Circular Dichroism 🔤PLT

link.aps.org·3d

Program Analysis Guided LLM Agent for Proof-of-Concept Generation 📊LLM Evaluation

arxiv.org·8h

High-fidelity collisional quantum gates with fermionic atoms 🧠Reasoning Models

nature.com·1d

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔤PLT

arxiv.org·2d

HarshithReddy01/redos-analyzer: Static analysis tool that detects and automatically fixes ReDoS vulnerabilities in Python using sre_parse AST analysis. 🦀Rust

github.com·2d·Hacker News

Evidence of competing ground states between fractional Chern insulator and antiferromagnetism in moiré MoTe2 🔧SMT Solvers

nature.com·6d

A Multi-Agent Framework for Automated Exploit Generation with Constraint-Guided Comprehension and Reflection 🤖AI Agents

arxiv.org·2d

Root lattices and invariant series for plumbed 3-manifolds 🔁Category Theory

arxiv.org·2d

Loading more...