search

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.
Other
5 stars 2 forks source link

Add objdump to CWEs generation #1230

Open rtadros125 opened 3 years ago

rtadros125 commented 3 years ago

The assembly dumps are always useful. So making sure all dumps are saved in workDir seems like a nice feature. This will be different from FreeRTOS to Unix.