🔍 Binary Analysis - emschwartz · Scour

CREBench: Evaluating Large Language Models in Cryptographic Binary Reverse Engineering 🛡️AI Security

arxiv.org·3d

Speak of the Devil: I did my second talk 🪄Prompt Engineering

scuti.neocities.org·5h

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

github.com·2d·Hacker News

You Have a Kernel Read/Write. Not Enough! How to Extract Offsets from XNU Kernelcaches ⚡Zero-Copy APIs

blog.reversesociety.co·5h·Hacker News

How Linux executes binaries: ELF and dynamic linking explained 💫IO_uring

fmdlc.github.io·4d·Hacker News, r/linux, r/programming

Spilling the Neural Tea: A Journey Down the Side-Channel 🛡️AI Security

sigarch.org·4d·Hacker News

aloshdenny/reverse-SynthID: reverse engineering Gemini's SynthID detection 🚀Astral

github.com·1d·Hacker News

Can LLMs Deobfuscate Binary Code? A Systematic Analysis of Large Language Models into Pseudocode Deobfuscation 💉Prompt Injection

arxiv.org·17h

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. 🔍Quickwit

github.com·2d·Hacker News

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations ⚙️Language Runtimes

arxiv.org·17h

I built a checksec-inspired binary hardening checker in Rust -- ELF/PE/Mach-O with SARIF output 🔒Borrow Checker

github.com·3d·r/rust

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery 🕳LLM Vulnerabilities

arxiv.org·1d

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 Packaging

github.com·3d·Hacker News

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🕯️Candle

arxiv.org·2d

LLM4CodeRE: Generative AI for Code Decompilation Analysis and Reverse Engineering 🦙Ollama

arxiv.org·2d

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem 🕳LLM Vulnerabilities

arxiv.org·1d

A Multi-Agent Framework for Automated Exploit Generation with Constraint-Guided Comprehension and Reflection 🕳LLM Vulnerabilities

arxiv.org·2d

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing 🕯️Candle

arxiv.org·4d

Credential Leakage in LLM Agent Skills: A Large-Scale Empirical Study 🕳LLM Vulnerabilities

arxiv.org·3d

Linux Executes Binaries: ELF and Dynamic Linking Explained 💫IO_uring

fmdlc.github.io·4d·Lobsters, Hacker News

Loading more...