Ask HN: Help with doing statistics over machine code

2•phafu•1y ago

I'd like to do some statistics over the machine code gcc generates, such as a histogram of used instructions, average volatile/preserved registers usage of functions etc. For now just x86_64 SysV-ABI would be enough.

However I'm not aware of any pre-existing tool that lets me easily do this. The options I currently see are either make gcc output assembly and write a parser for the GNU Assembler format (possibly by reusing the asm-parser of the compiler-explorer project), or write a tool that reads (disassembles) object files directly using elfutils.

Any hints, prior work, further ideas, links to useful resources, or any other kind of help would be much appreciated.

Comments

baobun•1y ago

"Static analysis" should be a relevant search term. Assuming you don't need to tie the instructions back to C code then the "gcc" part seems circumstancial for implementation? I guess you might want to parse the ASM into an Abstract Syntax Tree (AST) represenation and work on that?

If you do want to tie it back to the source, this looks relevant: http://icps.u-strasbg.fr/~pop/gcc-ast.html

phafu•1y ago

For my purpose I don't need to get back to the original source, no.

The gcc part is only relevant with regards to what dialect of assembler I need to parse. If I go that route, I'd write a parser for the GNU assembler, and that would of course work with any code in that dialect, regardless from which compiler it came from (I haven't checked whether other compilers can produce GNU assembler though).

An AI agent's $20 Kalshi account, with an exact reward model

Shapefit: Turn irregular shape masks into clean polygons

Show HN: Cachety – Watermark ID documents in the browser, nothing is uploaded

But how to get to that European cloud?

Hermitd, a Claude Code plugin like Claude Tag, but local

CertusAI.dev, the living OS for physical AI

Estimating the probability of faults causing inconsistent state

Show HN: One link, one message – replace it by paying $1 more than the last

Show HN: Rhci – A Small GHCi in Ruby

The Sleepy Insurance Product That Came to Power Private Credit's Ascent

Show HN: THX-01 – Open-source decision model, free API, 60M+ tokens processed

Hacking Cheap Smart Photo Frames into a Family Dashboard – Wes Bos

Ask HN: What is the most obscure book you own?

How the AI Boom Ends

Nuclear war and malicious use of AI threaten end of humanity by 2100, Lancet say

China's Delivery Robots Are Learning to Tackle the Night Shift

Show HN: Moodi – A tiny 3D character for your app's loading states

Show HN: LLMxRay an open-source observability tool for LLMs

Air Canada's woeful security at cargo warehouse

Ask HN: Pre-AI, did you think harder? Or are you thinking more (and better) now?

There's No "Going Back": On the receding horizons of the AI transition

A Remote Employee Refused 160 Webcam Photos a Day. Her Employer Fired Her

Tattoos You Can Turn on and Off

Show HN: Doiter – Language where pointers and stack frames are Docker containers

The Universal LLM Server

Why 'externalized' proofs of cyclic trait impls does not work

Why demand for the shingles vaccine is soaring

A hub that controls all your coding agents in one place

Auto Research: Integer multiplication below n log n

The Present Only Matters If It Gets You Somewhere Else