search

Spirals-Team / correctness-attraction-experiments

Open-science experimental results about correctness attraction
https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.pdf
3 stars 3 forks source link

Check RSA Loc 67 +1 mag #40

Closed danglotb closed 8 years ago

danglotb commented 8 years ago

49% of success when +1, and 100% for other magnitude.

danglotb commented 8 years ago

__L67 : ("RSACoreEngine.java:94", 67, "Numerical")

else if ((PerturbationEngine.pint(__L67, inLen) == (getInputBlockSize() + 1) && !forEncryption)
     throw new DataLengthException("input too large for RSA cipher.");
In case of **+1** perturbation, the condition

inLen == (getInputBlockSize() + 1)

is true, and throw an exception. For the other magnitude, the condition is false.