Finding bugs inside IoT devices via static analysis

• Main Author: Lim, Gerald Ze Yang
• Other Authors: Luo Jun
• Format: Final Year Project
• Language: English
• Published: Nanyang Technological University 2022
• Subjects: Engineering::Computer science and engineering
• Online Access: https://hdl.handle.net/10356/156768
• Institution: Nanyang Technological University

This project describes leveraging on a relatively new static analyzing tool called CodeQL, which processes codebase into a query-able database which allows one to use CodeQL queries to scan and identify problems of the codebase at the source code level. During the project, a python program to...