🔬 Code Analysis - 2601 · Scour

Giving LLMs a Formal Reasoning Engine for Code Analysis 🌳Pattern Match Compilation

yogthos.net·1d·Lobsters, Hacker News

Automatic removal of junk instructions through state tracking (2018) 🚀Code Motion

usualsuspect.re·5d·Hacker News

You Have a Kernel Read/Write. Not Enough! How to Extract Offsets from XNU Kernelcaches 🗺️Region Inference

blog.reversesociety.co·23m·Hacker News

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. 🌳Pattern Match Compilation

github.com·2d·Hacker News

[RFC] JSIR: A High-Level IR for JavaScript 🚂Cranelift IR

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

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

github.com·2d·Hacker News

Credential Leakage in LLM Agent Skills: A Large-Scale Empirical Study 💬Prompt Engineering

arxiv.org·3d

Google Proposes JSIR As A High-Level IR For JavaScript 🚂Cranelift IR

phoronix.com·4d·Hacker News

Code is not abstracted away 📚Self-Documenting Code

ahmethuseyindok.com·19h·Hacker News

A language where you describe the system and the compiler verifies it 📚Self-Documenting Code

spine-lang.org·4h·Hacker News

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 🔓Binary Exploitation

github.com·3d·Hacker News

Living Notes on Working Effectively with Legacy Code 🌳Tree Shaking

dev.to·1d·DEV

Program Analysis: A Pragmatic Approach 🚀Code Motion

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

Credential Leakage in LLM Agent Skills: A Large-Scale Empirical Study 💬Prompt Engineering

arxiv.org·4d

Show HN: CodeJourney – Verifiable due diligence for code and IP 🏺Code Archeology

github.com·3h·Hacker News

CodeBot 🎭Program Synthesis

shawnmayzes.com·1d

Claude Code Section 4: Production Mastery — 7 Advanced Workflows That Make Claude Code a True Force… 🎭Program Synthesis

pub.towardsai.net

·2d

Understand business logic in your code with diagram 💬REPL Design

biral.io·5d·Hacker News

How Complex is my Code? 🔬programming language theory

philodev.one·6d·Hacker News

LucasDuys/forge: Turn a one-line idea into a branch with tested, reviewed, committed code. The brainstorm-to-commit pipeline for Claude Code. 🚂Cranelift IR

github.com·4d·Hacker News

Loading more...