Faest

Class files must be compiled with debug information to show line coverage.

Class files must be compiled with debug information to link with source files.

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedMethods
Total1,411 of 1,4110%58 of 580%56562727
sign(byte[], byte[], byte[], byte[], byte[], byte[], FaestParameters)3860%140%8811
verify(byte[], byte[], byte[], byte[], FaestParameters)3400%160%9911
owf(byte[], byte[], byte[], FaestParameters)1220%120%7711
decodeAllChall3(byte[], FaestParameters)1020%80%5511
hashChallenge1(byte[], byte[], byte[], byte[], int, byte[], int, int, int)600%n/a1111
hashChallenge3OneShot(byte[], byte[], byte[], byte[], int, int, int, int)530%n/a1111
hashChallenge3Final(byte[], int, RandomOracle, int, int)480%n/a1111
hashRIv(byte[], byte[], int, byte[], byte[], byte[], byte[], int)470%40%3311
hashChallenge3Init(byte[], byte[], byte[], int, int, int)330%n/a1111
hashMu(byte[], byte[], byte[], byte[], int, int, int)310%n/a1111
hashChallenge2Init(byte[], byte[], int, int)270%n/a1111
hashChallenge2Finalize(byte[], RandomOracle, byte[], int, int, int)240%n/a1111
checkChallenge3(byte[], int, int)230%40%3311
hashIv(byte[], int, byte[], int, int)190%n/a1111
ellHatBytes(FaestParameters)120%n/a1111
hashChallenge2UpdateVTilde(RandomOracle, byte[], int)120%n/a1111
sigOffsetChall3(FaestParameters)100%n/a1111
sigOffsetUTilde(FaestParameters)80%n/a1111
sigOffsetA1Tilde(FaestParameters)80%n/a1111
sigOffsetIvPre(FaestParameters)70%n/a1111
sigOffsetD(FaestParameters)60%n/a1111
sigOffsetA2Tilde(FaestParameters)60%n/a1111
sigOffsetDecomI(FaestParameters)60%n/a1111
sigSizeDecomI(FaestParameters)60%n/a1111
utildeBytes(FaestParameters)50%n/a1111
sigOffsetC(int, FaestParameters)50%n/a1111
sigOffsetCtr(FaestParameters)50%n/a1111