Check that the getattr refinement is actually applicable before going deeper
Check that the getattr refinement is actually applicable before going deeper

schieb/angr,chubbymaggie/angr,angr/angr,chubbymaggie/angr,f-prettyland/angr,axt/angr,f-prettyland/angr,iamahuman/angr,tyb0807/angr,iamahuman/angr,schieb/angr,angr/angr,tyb0807/angr,f-prettyland/angr,chubbymaggie/angr,angr/angr,axt/angr,iamahuman/angr,axt/angr,schieb/angr,angr/simuvex,tyb0807/angr