liballocs icon indicating copy to clipboard operation
liballocs copied to clipboard

Meta-issue: adoption, 'impact' and ergonomic fixes

Open stephenrkell opened this issue 4 months ago • 1 comments

Some desirables are not research-interesting, and don't substantially affect the core functionality or performance or reliability of liballocs, but are relatively small changes that could make an outsized difference to the ability of others to pick up liballocs and use it in practical contexts. This meta-issue collects such issues.

  • #60
  • #75
  • #106
  • #142
  • #99

To these, I would add the following possible contributions to other codebases:

  • contribute a version of liballocs's dumpallocs.ml allocation site ("sizeofness") analysis to LLVM and/or GCC
  • record calls to __builtin_alloca() in the DWARF generated by LLVM and/or GCC, probably as an inlined_subroutine

... which collectively would enable liballocs to work fully/reliably without the use of a compiler wrapper, given binaries built with these improved compilers.

stephenrkell avatar Oct 06 '25 04:10 stephenrkell

This seems quite promising as a place to start!

alethkit avatar Oct 15 '25 12:10 alethkit