🔍 Abstract Interpretation - plumenator · Scour

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery 🧮Lean

arxiv.org·1d

🐍 When Static Analysis Turns Dangerous: Command Injection in NASA’s Cobra Tool 🦀Rust

medium.com·4d

You Have a Kernel Read/Write. Not Enough! How to Extract Offsets from XNU Kernelcaches ⚙️Systems Programming

blog.reversesociety.co·2h·Hacker News

Program Analysis: A Pragmatic Approach 🧮Lean

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

Resonant fields inducing energy towers in Lieb quantum spin lattices 🔗Linear Types

link.aps.org·1h

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group 🧮Lean

lemmy.ml·6d

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

embedded.com·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. 🧮Lean

github.com·2d·Hacker News

[RFC] JSIR: A High-Level IR for JavaScript ⚗️Program Synthesis

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

Some sober thinking about Mythos (full version with links at my newsletter): ✅Proof Assistants

twitter.macworks.dev

·2d

Protected quantum gates using qubit doublons in dynamical optical lattices 🌀Idris

nature.com

·2d

Supply Chain Attacks Surge in March 2026 🦀Rust

malware.news·6d

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations 🛡️Memory Safety

arxiv.org·13h

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

github.com·2d·Hacker News

Program Analysis Guided LLM Agent for Proof-of-Concept Generation 🧮Lean

arxiv.org·13h

Evidence of competing ground states between fractional Chern insulator and antiferromagnetism in moiré MoTe2 🔄Category Theory

nature.com·6d

Collective Interference of Phonon Spin and Dipole Moment Rotation Induced Circular Dichroism ⚙️c++

link.aps.org·4d

Separability and entanglement of resonating valence-bond states 🔤Type Systems

arxiv.org·13h

High-fidelity collisional quantum gates with fermionic atoms 🌀Idris

nature.com·2d

Darksp33d/hyperhives-macos-infostealer-analysis: Full static analysis of HyperHives macOS Rust infostealer — 571 decrypted config values, C2 infrastructure, DPRK/Contagious Interview attribution, YARA/Sigma rules, STIX 2.1 bundle, ATT&CK Navigator layer 🦀Rust

github.com·3d·Hacker News

Loading more...