Fix incorrect resolution

parent 94e92d45
......@@ -839,11 +839,10 @@ func sanityResolveEquationInternalValuesFromKnowledgeMap(
case "primitive":
r.equation.values = append(r.equation.values, aa[aai])
case "equation":
aaa, _ := sanityResolveValueInternalValuesFromKnowledgeMap(aa[aai], valKnowledgeMap)
if aai == 0 {
r.equation.values = aaa.equation.values
r.equation.values = aa[aai].equation.values
} else {
r.equation.values = append(r.equation.values, aaa.equation.values[1:]...)
r.equation.values = append(r.equation.values, aa[aai].equation.values[1:]...)
}
if sanityExactSameValueInValues(r, v) < 0 {
v = append(v, r)
......@@ -960,13 +959,10 @@ func sanityResolveEquationInternalValuesFromPrincipalState(
)
r.equation.values = append(r.equation.values, aaa)
case "equation":
aaa, _ := sanityResolveValueInternalValuesFromPrincipalState(
aa[aai], rootIndex, valPrincipalState, forceBeforeMutate,
)
if aai == 0 {
r.equation.values = aaa.equation.values
r.equation.values = aa[aai].equation.values
} else {
r.equation.values = append(r.equation.values, aaa.equation.values[1:]...)
r.equation.values = append(r.equation.values, aa[aai].equation.values[1:]...)
}
if sanityExactSameValueInValues(r, v) < 0 {
v = append(v, r)
......
......@@ -157,8 +157,7 @@ func verifyAnalysisReconstruct(
func verifyAnalysisEquivalize(a value, valPrincipalState principalState, o uint32) uint32 {
oo := o
for _, c := range valPrincipalState.constants {
aa := sanityResolveConstant(c, valPrincipalState)
for _, aa := range valPrincipalState.assigned {
if sanityEquivalentValues(a, aa, valPrincipalState) {
write := attackerStateWrite{
known: aa,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment