The Oracle Parfait Team is looking for an intern to work on static analysis checkers to identify dead code.

Dead code is code that will never be executed in a program. While harmless in itself, dead code is a tell-tale sign of more serious bugs or logical errors in a program. For example, a function that is dead could mean that important validation is missing somewhere else in the application.

This intern project involves the development of checkers within the Parfait SAST tool that reports instances of dead code. Specifically, the checkers will check if Java code is dead, which allows for high-level reasoning. For example, the checker can prove fields marked `private` within a class are dead just by scanning through the methods of the class. (Similar reasoning cannot prove `public` or `protected` fields to be dead, because these fields can be used outside of the class.)

Related CWEs:

- CWE-561: Dead Code (https://cwe.mitre.org/data/definitions/561.html)

Students applying for this project should be in a graduate program.

Career Level - IC0