Improve output for `NullByte` - Githubissues

goblint / analyzer

Static analysis framework for C

https://goblint.in.tum.de

MIT License

160 stars 72 forks source link

Improve output for `NullByte` #1405

Closed michael-schwarz closed 3 months ago

michael-schwarz commented 3 months ago

No longer print if domain is disabled
Give useful names to components

Example output with names:

Screenshot from 2024-04-04 11-12-43

Closes #1386