Detection of heap management flaws in component-based software | IEEE Conference Publication | IEEE Xplore