SmartBugs can be used as a Python module and called from other Python scripts. For example, here's a Python script that uses SmartBugs to run the tool conkas on the contracts samples/simple_dao.*: The ...