While you can find a more complete and thorough description of how temporal system call specialization works by reading our paper, we have summarized some of the most important points in this section. Read more...
You can find the steps required to perform the temporal system call specialization analysis in the GitHub repository found here.
The user guide provides a general overview of how to run different parts of the toolchain and to generate the results provided in the paper. Read more...