Zoltán Mészáros

Misalinged stack on syscall wrapper calls

1

I ran into compilation issues with the `do_syscall` implementations, resulting in runtime SEGfaults. I drafted a PR fixing this in #22, but that doesn't solve the root cause, just happens...

Tests failing due to linker issues

6

Tests such as the `generic/time` are failing due to issues with eagerly dynamic-linked symbols, usually `calloc`. Given the library is mature enough, the convoluted way of linking the tests may...

[CIL] Miscellaneous Parse Errors

1

Following yesterday's discussions about CIL, I decided to spend a coffee break today to try to break it. I discovered some parse errors, some of which are fixed by goblint-cil....

Wiki content needs expanding

4

I'm just adding this issue as I keep forgetting to focus on getting my notes on liballocs into the wiki at https://github.com/stephenrkell/liballocs/wiki Hopefully, I'll be reminded to do it the...

Need alternative to constructor priorities for initialization scheduling

1

As of the latest GCC, code like the following no longer works ```c void __pageindex_init(void) __attribute__((constructor(101))); ``` The constructor attribute no longer supports its parameter, which used to indicate priority....