Desarrollador presenta B’SST, un programa que rastrea errores en el código de Bitcoin

B’SST ejecuta simbólicamente los códigos de operaciones de Bitcoin para encontrar problemas en los scripts que analiza.