DIVINA - CMU/TIC/0053/2021 - BII|2022/321
Type of Position: Undergraduate Research Fellowship (Bolsa de Introdução à Investigação)
Type of Contract: Research grant
Duration: 4 Months
Limit to reply: 2022-Aug-19
The student will join the project DIVINA, Detecting Injection Vulnerabilities in Node. Applications, in the scope of its second task, whose main goal is to build a new platform for detecting and confirming injection vulnerabilities in Node. The student will develop an automatic symbolic test generator for confirming potential injection vulnerabilities detected by a separate static analysis, currently being developed by other project members. The symbolic tests to be generated will be executed in the JaVerT tool, which will have to be extended with new symbolic reasoning facilities.
José Faustino Fragoso Femenin dos Santos