dodona-edu / universal-judge

Universal judge for educational software testing
https://docs.dodona.be/en/tested
MIT License
9 stars 5 forks source link

Pass location of source code in oracle context #527

Closed niknetniko closed 5 months ago

niknetniko commented 5 months ago

This is a small change/experiment:

The intended use of this would be to provide a semi-supported way of doing static analysis of the code of the submission. The reasons for doing this are:

An alternative, doing this in the language-specific oracles forces the use of language-specific oracles, which are much harder to properly implement than the programmed ones.

I would certainly not include an example of using this for static checks in the documentation: we do not want to encourage this. The main question is thus do we actually want to make this possible or not?

niknetniko commented 5 months ago

I am inclined to merge this, as it introduces almost no maintenance overhead for us, and allows researching a better solution in peace (as this is provides a non-horrible workaround).