MLSA: A static bugs analysis tool based on LLVM IR | IEEE Conference Publication | IEEE Xplore