FA2 smart contract testing suite

In order to support and strengthen our own security assessments, we have developed a suite of test cases to check whether an FA2 smart contract is working correctly, securely and is compliant with the FA2 interface standard TZIP-012. This suite is available in the GitHub repo InferenceAG/TezosFAContractChecker.

To foster security in the Tezos ecosystem we publish this FA2 smart contract testing suite so that developers and security assessors can benefit from this testing suite.

As this is an initial version of the FA2 smart contract testing suite there are several ideas and todos/improvements already floating in our head. See section “TODO / ideas / improvements” in the readme.

We are hoping that this FA2 smart contract testing suite will be widely used in order to ensure compliance with TZIP-012 and the correctness and security of FA2 smart contracts. We welcome any feedback or contributions to the FA2 smart contract testing suite.