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.
Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Methods |
Total | 7,679 of 7,679 | 0% | 446 of 446 | 0% | 312 | 312 | 78 | 78 |
verify_picnic3(Signature2, int[], int[], byte[]) | ![]() | 0% | ![]() | 0% | 19 | 19 | 1 | 1 |
sign_picnic3(int[], int[], int[], byte[], Signature2) | ![]() | 0% | ![]() | 0% | 11 | 11 | 1 | 1 |
PicnicEngine(int, LowmcConstants) | ![]() | 0% | ![]() | 0% | 27 | 27 | 1 | 1 |
sign_picnic1(int[], int[], int[], byte[], Signature) | ![]() | 0% | ![]() | 0% | 9 | 9 | 1 | 1 |
deserializeSignature2(Signature2, byte[], int, int) | ![]() | 0% | ![]() | 0% | 11 | 11 | 1 | 1 |
verify(Signature, int[], int[], byte[]) | ![]() | 0% | ![]() | 0% | 6 | 6 | 1 | 1 |
deserializeSignature(Signature, byte[], int, int) | ![]() | 0% | ![]() | 0% | 12 | 12 | 1 | 1 |
verifyProof(Signature.Proof, View, View, int, byte[], int, byte[], int[], Tape) | ![]() | 0% | ![]() | 0% | 14 | 14 | 1 | 1 |
serializeSignature2(Signature2, byte[], int) | ![]() | 0% | ![]() | 0% | 8 | 8 | 1 | 1 |
serializeSignature(Signature, byte[], int) | ![]() | 0% | ![]() | 0% | 8 | 8 | 1 | 1 |
implH3(int[], int[], byte[][][], byte[], byte[], byte[], byte[][][]) | ![]() | 0% | ![]() | 0% | 14 | 14 | 1 | 1 |
picnic_sign(byte[], byte[], byte[]) | ![]() | 0% | ![]() | 0% | 7 | 7 | 1 | 1 |
prove(Signature.Proof, int, byte[], int, View[], byte[][], byte[][]) | ![]() | 0% | ![]() | 0% | 8 | 8 | 1 | 1 |
mpc_LowMC(Tape, View[], int[], int[]) | ![]() | 0% | ![]() | 0% | 5 | 5 | 1 | 1 |
mpc_substitution_verify(int[], Tape, View, View) | ![]() | 0% | ![]() | 0% | 4 | 4 | 1 | 1 |
mpc_LowMC_verify(View, View, Tape, int[], int[], int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
mpc_substitution(int[], Tape, View[]) | ![]() | 0% | ![]() | 0% | 4 | 4 | 1 | 1 |
mpc_AND(int[], int[], int[], Tape, View[]) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
expandChallengeHash(byte[], int[], int[]) | ![]() | 0% | ![]() | 0% | 9 | 9 | 1 | 1 |
matrix_mul_offset(int[], int, int[], int, int[], int) | ![]() | 0% | ![]() | 0% | 4 | 4 | 1 | 1 |
simulateOnline(int[], Tape, int[], Msg, int[], int[]) | ![]() | 0% | ![]() | 0% | 3 | 3 | 1 | 1 |
mpc_sbox(int[], int[], Tape, Msg) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
countNonZeroChallenges(byte[], int) | ![]() | 0% | ![]() | 0% | 4 | 4 | 1 | 1 |
LowMCEnc(int[], int[], int[]) | ![]() | 0% | ![]() | 0% | 3 | 3 | 1 | 1 |
aux_mpc_sbox(int[], int[], Tape) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
picnic_verify(byte[], byte[], byte[], int) | ![]() | 0% | ![]() | 0% | 4 | 4 | 1 | 1 |
mpc_AND_verify(int[], int[], int[], Tape, View, View) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
G(int, byte[], int, View, byte[]) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
createRandomTape(byte[], int, byte[], int, int, byte[], int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
HCP(byte[], int[], int[], byte[][], byte[], byte[], int[], int[], byte[]) | ![]() | 0% | ![]() | 0% | 4 | 4 | 1 | 1 |
Commit(byte[], int, View, byte[]) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
substitution(int[]) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
computeSeeds(int[], int[], int[], byte[]) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
picnic_keygen(byte[], byte[], byte[], SecureRandom) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
picnic_read_public_key(int[], int[], byte[]) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
createRandomTapes(Tape, byte[][], int, byte[], int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
picnic_write_private_key(byte[], byte[], byte[], byte[]) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
H3(int[], int[], View[][], byte[][][], byte[], byte[], byte[], byte[][][]) | ![]() | 0% | ![]() | 0% | 3 | 3 | 1 | 1 |
H3(int[], int[], int[][][], byte[][][], byte[], byte[], byte[], byte[][][]) | ![]() | 0% | ![]() | 0% | 3 | 3 | 1 | 1 |
bitsToChunks(int, byte[], int, int[]) | ![]() | 0% | ![]() | 0% | 4 | 4 | 1 | 1 |
commit(byte[], byte[], byte[], byte[], int, int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
mpc_AND(int, int, int, int, Tape, Msg) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
aux_mpc_AND(int, int, int, Tape) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
getAuxBits(byte[], Tape) | ![]() | 0% | ![]() | 0% | 3 | 3 | 1 | 1 |
computeSaltAndRootSeed(byte[], int[], int[], int[], byte[]) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
mpc_xor_constant_verify(int[], int[], int, int, int) | ![]() | 0% | ![]() | 0% | 4 | 4 | 1 | 1 |
picnic_write_public_key(byte[], byte[], byte[]) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
crypto_sign_keypair(byte[], byte[], SecureRandom) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
commit_v(byte[], byte[], Msg) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
crypto_sign_open(byte[], byte[], byte[]) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
getMissingLeavesList(int[]) | ![]() | 0% | ![]() | 0% | 3 | 3 | 1 | 1 |
appendUnique(int[], int, int) | ![]() | 0% | ![]() | 0% | 4 | 4 | 1 | 1 |
subarrayEquals(byte[], byte[], int) | ![]() | 0% | ![]() | 0% | 5 | 5 | 1 | 1 |
subarrayEquals(int[], int[], int) | ![]() | 0% | ![]() | 0% | 5 | 5 | 1 | 1 |
wordToMsgs(int, Msg) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
mpc_xor(int[], int[], int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
mpc_matrix_mul(int[], int, int[], int, int[], int, int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
commit_h(byte[], byte[][]) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
arePaddingBitsZero(int[], int) | ![]() | 0% | ![]() | 0% | 3 | 3 | 1 | 1 |
setChallenge(byte[], int, int) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
xor_three(int[], int[], int[], int[]) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
arePaddingBitsZero(byte[], int) | ![]() | 0% | ![]() | 0% | 3 | 3 | 1 | 1 |
mpc_xor_constant(int[], int, int[], int, int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
xor_array(int[], int[], int[], int) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
crypto_sign(byte[], byte[], byte[]) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
indexOf(int[], int, int) | ![]() | 0% | ![]() | 0% | 3 | 3 | 1 | 1 |
contains(int[], int, int) | ![]() | 0% | ![]() | 0% | 3 | 3 | 1 | 1 |
tapesToWords(int[], Tape) | ![]() | 0% | ![]() | 0% | 2 | 2 | 1 | 1 |
is_picnic3(int) | ![]() | 0% | ![]() | 0% | 4 | 4 | 1 | 1 |
updateDigest(int[], byte[]) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
matrix_mul(int[], int[], int[], int) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
extend(int) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
getSignatureSize(int) | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
static {...} | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | |
getChallenge(byte[], int) | 0% | n/a | 1 | 1 | 1 | 1 | ||
getSecretKeySize() | 0% | n/a | 1 | 1 | 1 | 1 | ||
getPublicKeySize() | 0% | n/a | 1 | 1 | 1 | 1 | ||
getTrueSignatureSize() | 0% | n/a | 1 | 1 | 1 | 1 |