Pickle Solutions team performs code review, as well as static and dynamic analysis of smart contracts, in order to find any unexpected behaviors.