Add new subcategories from SV-COMP #40
Description
New subcategories from SV-COMP not supported yet
Apply minor changes to support:
- ReachSafety-ECA
- ReachSafety-Floats
- ReachSafety-ProductLines
- ReachSafety-Sequentialized
- SoftwareSystems-AWS-C-Common-ReachSafety
- SoftwareSystems-BusyBox-MemSafety
- SoftwareSystems-BusyBox-NoOverflows
- SoftwareSystems-DeviceDriversLinux64-ReachSafety
- SoftwareSystems-OpenBSD-MemSafety