It looks like a combination of static analysis and live execution of what they call "pure" parts of the code, i.e. code that doesn't affect state outside the cu

It looks like a combination of static analysis and live execution of what they call "pure" parts of the code, i.e. code that doesn't affect state outside the current function.