Considering JITs are a much bigger risk, and how cheap this suggestion is, should we use lfence / similar for other architectures within sljit (and possibly lua)?
The slides also talk about adding rules to detect likely gadgets to coverity. I wonder whether they can be added also to static analyzers we can actually use, like clang-static-analyzer.