Symex: ignore null dereferences when targeting Java#2125

smowton merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/symex-ignore-null-derefssmowton/cbmc:smowton/feature/symex-ignore-null-derefsCopy head branch name to clipboard