search

hase-project / hase

Timeless debugging with symbolic execution and processor trace
BSD 2-Clause "Simplified" License
74 stars 8 forks source link

disallow untyped functions #67

Closed Mic92 closed 5 years ago