🔬 Static Analysis - hello · Scour

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔗Dependent Types

arxiv.org·6d

AeneasVerif/aeneas: A verification toolchain for Rust programs 🐧Rust for Linux

github.com·2d·Hacker News

Everything Should Be Typed: Scalar Types Are Not Enough 📦Serde

sot.dev·1d·Lobsters, Hacker News, r/programming, r/rust

Sourcery vs mypy: Type Checking vs AI Refactoring (2026) ⚡Ruff

dev.to·4d·DEV

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

embedded.com·6d

Program Analysis: A Pragmatic Approach 🔍KLEE

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

A language where you describe the system and the compiler verifies it ✓Formal Verification

spine-lang.org·4d·Hacker News

Master C and C++ with our new Testing Handbook chapter 🧬Mutation Testing

blog.trailofbits.com·5d

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs 🌀Maelstrom

arxiv.org·1d

The 6 Big Ideas of Typescript 📐Type Theory

sitr.us·5d·r/programming

serjective/aburiscript: A modern C and C++ compiler frontend ⚙️SWC

github.com·3d·r/C_Programming

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery 🔍KLEE

arxiv.org·5d

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations 🎯Escape Analysis

arxiv.org·4d

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations 🏗️MLIR

arxiv.org·5d

A Gradual Probabilistic Lambda Calculus λFunctional Programming

arxiv.org·6d

Vulnerability Detection with Interprocedural Context in Multiple Languages: Assessing Effectiveness and Cost of Modern LLMs 🏗️MLIR

arxiv.org·4d

Triage: Routing Software Engineering Tasks to Cost-Effective LLM Tiers via Code Quality Signals 🏗️Cranelift

arxiv.org·4d

Program Analysis Guided LLM Agent for Proof-of-Concept Generation 🎭Program Synthesis

arxiv.org·4d

SQLStructEval: Structural Evaluation of LLM Text-to-SQL Generation 🔥DataFusion

arxiv.org·5d

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🧮SMT Solvers

arxiv.org·6d

No more posts from hello's subscribed feeds.

Scour all 23983 feeds Learn more about Feeds