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).

Memory Management (2022)

Building Houses with Rice Waste

Singapore's government team that kills its own products

Show HN: The great-grandfather of Oberon: Algol 60 running on LuaJIT

Ferroni – Oniguruma's regex engine, modernized in Rust

Taiwan man won lawsuit but jailed for using robot vacuum to record wife's affair

Trama – See your agent's changes as state machines before any code

Show HN: Hexnoth. Dark fantasy turn-based tactics in the browser

The maverick scientist trying to save coffee from extinction

Claude Code Mode

Show HN: Termphin – Open-source SSH client whose sessions survive disconnects

You Can See the Results

Show HN: Gradually Loading Web Fonts

Can Switching Hands While I Masturbate Affect My Brain?

What a US purchase costs delivered to 16 countries

Fetching AMD SEV Reports (With Zig)

Don't Put Tilde In Your Path

Twelve killed and 300 injured in attack on airport in Saudi capital Riyadh

Electron minus Chromium, powered by Bun and WebKit

Show HN: Tack – Type-safe HTTP APIs for Go that reach the TypeScript front end

Scandinavia's first farmers slaughtered hunter-gatherer population, DNA suggests

Valen's Memory Safety: A New Kind of Borrow Checking

Show HN: A newsletter powered by Jev

Show HN: BetterWispr – Free, open-source dictation for Mac

AI Engineering Maturity Model: 5 Stages for Teams

Grok Bot has its own email now. How to put it on your own domain

Show HN: I'm a 14-year-old building my first startup, Titan

I paid people to try and follow my README

Show HN: A Mac app to focus on your actions instead of distractions

Creative Forces in the Global Village (1993)