Code reviewNoul
Screen a diff for runtime bugs
Find changes worth a closer human review before inspecting every line.
THE QUESTION
Does file.patch directly support that this change likely introduces incorrect runtime behavior?
Use case
Code review
Use bounded semantic judgments to inspect source code and changes.
Code reviewNoul
Flag hidden side effects
Identify functions whose names and contracts hide observable changes.
THE QUESTION
Does this function change observable state in a way that is not apparent from its name or supplied contract?