Klever

For instance, if a driver tries to call deregistration function or call a function that free resources before allocation or double deregistration/registration and double allocations/deallocations take place, EMG can add assertions to catch such violations. For instance, an error in hid.ko module from validation set can be found using this feature and manual experiments confirm this. This can be implemented as a separate rule and corresponding option in EMG.