Through our Automated and Manual analysis we provide complete solution to identify and determine vulnerabilities and violations of logic in the smart contract. Quill SCSAP considers the following distinct and crucial facets of the smart contract code: Whether the code is secure. Whether the code corresponds to the documentation (including whitepaper). Whether the code meets best practices in the efficient use of gas, code readability, etc.