🔍 Abstract Interpretation - wxx · Scour

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

arxiv.org·3d

You Have a Kernel Read/Write. Not Enough! How to Extract Offsets from XNU Kernelcaches 🧱Memory Allocators

blog.reversesociety.co·1d·Hacker News

Show HN: A General Purpose KMC Crystal Growth Simulator in Rust-WASM 💻Code Generation

amdson.github.io·1d·Hacker News

Program Analysis: A Pragmatic Approach 🔢Type Theory

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

Static Analysis of a Suspicious PowerShell Sample (Practical-Sample1.xyz) 🛠️Prompt Engineering

medium.com·1d

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

embedded.com·3d

FiloSottile/ecc-vs-lattices-long-bet: A long bet between Matthew Green and Filippo Valsorda on what will break first: ML-KEM-768 or X25519. You can join! Money goes to charity. ♟️Game Theory

github.com·1d·Lobsters, Hacker News

First-principles study of intrinsic and ${\mathrm{Fe}}^{3+}$-related luminescence mechanisms in feldspar 📐Linear Algebra

link.aps.org·2d

[RFC] JSIR: A High-Level IR for JavaScript 💾Cache Coherence

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

o9 Solutions Names Former Lattice and Workday Exec as CFO 🔄Data Engineering

dallasinnovates.com·2d

🐍 When Static Analysis Turns Dangerous: Command Injection in NASA’s Cobra Tool 🛠️Prompt Engineering

medium.com·6d

Inverse Lieb materials: altermagnetism and more 🌐Distributed Systems

nature.com·1d

Multivariate Witness-Hiding Adaptor Signatures 📚RAG

eprint.iacr.org·3d

Some sober thinking about Mythos (full version with links at my newsletter): 🌱Digital Gardens

twitter.macworks.dev

·3d

Bio-inspired structural design improves impact resistance and energy absorption 🛡️Anthropic

techxplore.com·3d

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations ✨Code Quality

arxiv.org·2d

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. 🧪Software Testing

github.com·3d·Hacker News

Mexican Brutalism in Casa Selva, Tulum ⚙️Microservices

domusweb.it·3d

Searching for the Tetraneutron Resonance on the Lattice 📚RAG

link.aps.org·1d

Program Analysis Guided LLM Agent for Proof-of-Concept Generation 💻Code Generation

arxiv.org·2d

Loading more...