Various static code analysis tools have been designed to automatically detect software faults and security vulnerabilities. This paper aims to 1) conduct an empirical evaluation to assess the ...

Efficient codes with high performance and compact size are the endless pursuit in computer systems, ranging from cloud servers to embedded devices. As the vastly predominated structure in programs, ...