Buffervars by sipma · Pull Request #84 · static-analysis-engineering/CodeHawk-C

sipma · 2026-10-22T20:03:48Z

This PR:

fixes some problems with printing function signatures, in particular for function signatures with an argument or returntype that is itself a function pointer;
adds a new command to save information about local buffers

…e function pointers

sipma added 3 commits October 22, 2026 11:48

Fix function signature printing in the presence of argument/returntyp…

9c64caa

…e function pointers

CMD: add command to save local buffers

e55b767

fix pycodestyle errors

4ca6e41

sipma merged commit 71a7a2b into static-analysis-engineering:master Oct 22, 2026
2 checks passed

sipma deleted the buffervars branch October 22, 2026 20:58

Navigation Menu