Finding bugs inside IoT devices via static analysis

• المؤلف الرئيسي: Lim, Gerald Ze Yang
• مؤلفون آخرون: Luo Jun
• التنسيق: Final Year Project
• اللغة: English
• منشور في: Nanyang Technological University 2022
• الموضوعات: Engineering::Computer science and engineering
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/156768

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...