Search results

Check and validate tool result analysis

Status: Open.

#32 In Fraunhofer-AISEC/cpg-contract-checker;

· fwendland opened on Oct 20, 2023

Impact of customized grammar

Status: Open.

#30 In Fraunhofer-AISEC/cpg-contract-checker;

· fwendland opened on Oct 13, 2023

Analysis of larger code set

Status: Open.

#29 In Fraunhofer-AISEC/cpg-contract-checker;

· fwendland opened on Oct 13, 2023

Analysis of code snippets from SmartBugs Curated

Status: Open.

#28 In Fraunhofer-AISEC/cpg-contract-checker;

· fwendland opened on Oct 13, 2023

Non-deterministic results

Status: Open.

#25 In Fraunhofer-AISEC/cpg-contract-checker;

· fwendland opened on Mar 28, 2023

Update SmartBugs v2 SARIF Mapping File

Status: Open.

#24 In Fraunhofer-AISEC/cpg-contract-checker;

· fwendland opened on Mar 28, 2023

Comparison with published results of SmartBugs

Status: Open.

#23 In Fraunhofer-AISEC/cpg-contract-checker;

· fwendland opened on Mar 28, 2023

Understand SmartBugs v2 Output

Status: Open.

#22 In Fraunhofer-AISEC/cpg-contract-checker;

· fwendland opened on Mar 28, 2023

Update Solidity grammar

Status: Open.

#16 In Fraunhofer-AISEC/cpg-contract-checker;

· fwendland opened on Jan 25, 2023