On Sat, 2023-11-25 at 20:50 -0500, Andrei Matei wrote: > This patch adds tests for the previous patch, checking the tracking of > the maximum stack size and checking that accesses to uninit stack memory > are allowed. > > They are a separate patch for review purposes; whoever merges them can > consider squashing. > > Signed-off-by: Andrei Matei <andreimatei1@xxxxxxxxx> > --- I think the strategy now is to add new tests using inline assembly, e.g. as a part of verifier_* tests in test_progs.