Good afternoon, I would like to report a vulnerability on your website Here it is http://www.it.uu.se/research/group/darts/uppaal/help.php?file=/../../../../../
thank you for the report
I've fixed the help.php and checked for more user inputs, it seems that this is the only vulnerable place.