A very hackish improvement for symbolic backward traversal to solve the issue that sometimes we lose too much previous constraints put onto variables.
A very hackish improvement for symbolic backward traversal to solve the issue that sometimes we lose too much previous constraints put onto variables.

iamahuman/angr,chubbymaggie/angr,f-prettyland/angr,mingderwang/angr,fjferrer/angr,tyb0807/angr,axt/angr,haylesr/angr,tyb0807/angr,schieb/angr,zhuyue1314/angr,axt/angr,avain/angr,iamahuman/angr,zhuyue1314/angr,fjferrer/angr,chubbymaggie/angr,avain/angr,angr/angr,angr/angr,f-prettyland/angr,cureHsu/angr,GuardianRG/angr,f-prettyland/angr,xurantju/angr,haylesr/angr,cureHsu/angr,chubbymaggie/angr,schieb/angr,terry2012/angr,lowks/angr,axt/angr,xurantju/angr,lowks/angr,angr/angr,terry2012/angr,tyb0807/angr,mingderwang/angr,GuardianRG/angr,iamahuman/angr,schieb/angr