1. A computer-readable medium having computer-executable instructions for causing a computer to implement generation of code used to bypass operating system's handshake required for an application to access thread local store information, to perform steps comprising: at runtime, performing an analysis of an application platform to identify how a thread local storage is implemented by the application platform, the thread local storage having data or information related to an operating system underlying the application platform; when the analysis reveals that the application platform is using a known function related to accessing or setting data allocated/implemented for the thread local storage that can be mimicked, then bypassing a handshake of the application platform with the operating system and mimicking the known function by: representing an effect of decoded machine instructions of the known function as an abstract execution state, the abstract execution state mapping a machine register and/or a slack slot to expressions involving variables that are used as placeholders for actual values of machine registers and stack slots; transforming the abstract execution state into an abstract expression, the abstract expression being a program representation including semantic effects of instructions and program data; and generating code that mimics the effect of the machine instructions of the known function from the abstract expression.