Also available in English: https://scratch.fim.uni-passau.de/litterbox/about.php?lang=e...

Might as well have called it "Linterbox"...

Is it working? I get "Sorry, we could not find your project. Please check the submitted ID or file."

Same here, I tried a few different files and they are definitely valid.

Sorry about that. The maximum upload size might have been set too small. It should hopefully work now.

Great to see this here, as a contributor to this project. We even went the model checking direction with Bastet: https://github.com/se2p/Bastet

I wonder why the Scratch team didn’t build these pattern detector in their environment as hint/warning for the young coders?

Scratch has "never throw an error" as part of its design philosophy, I assume they don't have warnings for similar reasons. They want Scratch to be an open playground for free experimentation.

Would be great to learn how this was researched and built! I'm very interested in automation choice analysis

The about page [1] has a (somewhat hidden) link to the GitHub repository [2]. The readme there has further links to some research papers.

[1] https://scratch.fim.uni-passau.de/litterbox/about.php [2] https://github.com/se2p/LitterBox