undefined | Better HN

0 pointsbluejekyll9y ago0 comments

I think the implication is that without malloc you will remove a slew of potential bugs related to memory management, making the software more stable.

0 comments

pilif9y ago

IMHO you're converting your heap buffer overflows into stack buffer overflows which are even easier to exploit.

thenewwazoo9y ago

Stack usage is also much, much, much easier to characterize. In systems where stack depth is well-controlled (i.e. most embedded systems that don't have dynamic process/thread creation), very simple analysis will suffice to identify places where you blow your stack.

usefulcat9y ago

Not using the heap != everything is allocated on the stack. In situations where you want to avoid dynamic allocation, memory for most things that would otherwise have been dynamically allocated ends up being statically allocated at compile time.

sigjuice9y ago

Absolutely none of this is immune to buffer overflows.

1 more reply

revelation9y ago

Exploiting systems without dynamic memory is pretty meh.. that's some NSA level Stuxnet bespoke shit.

But no, judging from the code, you just give it one big fat I/O buffer that will usually come from .bss

nwmcsween9y ago

It depends, does malloc have some form of hardening? does the compiler insert stack canaries?

stompin9y ago

and moves and copies won't have potential for other memory management bugs? You'll still have memory management overhead and now additional complexity.

moduspwnens149y ago

At a high level, isn't this like implementing your own "malloc" and "free" that just pulls from your process's own memory pool instead of the OS? Or is there more to it than that?

clarry9y ago

No, it's just placing the appropriate structs and buffers on the stack (when not provided by the caller).

It does eliminate a certain couple classes of errors, and makes some others less likely.

I didn't read all the code, but I don't think it's using alloca or the like. So the stack allocation sizes are known at compile time, and bounded unless there's some recursion going on (which is unlikely).

j / k navigate · click thread line to collapse