Skip to content

goto-symex now handles function pointers#6463

Draft
kroening wants to merge 1 commit intodevelopfrom
symex_function_call_dereference

Commits

Commits on Sep 2, 2022