🔍 Static Analysis - coyestpineal3l · Scour

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery 🔧LLVM

arxiv.org·1d

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 🦀MIR

symbolic.software·3d

A language where you describe the system and the compiler verifies it 🪄Metaprogramming

spine-lang.org·4h·Hacker News

The 6 Big Ideas of Typescript 💻Programming languages

sitr.us·22h·r/programming

Program Analysis: A Pragmatic Approach 🪄Metaprogramming

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

I Ran My KYB Engine at Three Quantization Levels. Accuracy Didn't Move. Cost Dropped 6x. 🦀MIR

walsenburgtech.com·23h·Hacker News

Code quality: a concern for businesses, bottom lines, and empathetic programmers 💾Bytecode

stackoverflow.blog·3d·Hacker News

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 🦀MIR

embedded.com·2d

Giving LLMs a Formal Reasoning Engine for Code Analysis 🔌LSP

yogthos.net·1d·Lobsters, Hacker News

🎲 Everyday Design 🪄Metaprogramming

nikoheikkila.fi·5d

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

github.com·2d·Hacker News

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group 🔌LSP

lemmy.ml·6d

Master C and C++ with our new Testing Handbook chapter 🔧LLVM

blog.trailofbits.com·1d

CodeBot 🦺Cranelift

shawnmayzes.com·1d

I Built a Semantic Code Review Bot — Here’s What Actually Mattered 🦀MIR

medium.com·6d

Shipping faster, thinking less? The AI code verification trap 🦺Cranelift

leaddev.com·1d·Hacker News

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

medium.com·4d

When the compiler lies: breaking memory safety in safe Go 🔧LLVM

ciolek.dev·2d·Lobsters, Hacker News

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations 💾Bytecode

arxiv.org·12h

Kotlin 2.x vs Java 21+The Language Choice for New JVM Projects 💾Bytecode

javacodegeeks.com·2d

Loading more...