Diffkemp is a static analysis tool for evaluating semantic differences between different versions of large-scale C projects. Its main focus is the Linux kernel, but it can also be used on other projects, such as cryptography libraries. Within this thesis, the student will:

1. Use Diffkemp to evaluate semantic differences in API functions of three cryptographic libraries across multiple (10+) releases.
2. Analyze the reported semantic differences, enumerate true positives and false positives. Look for common patterns in the results and compare the results across the libraries. Comment on any major inconsistencies in the behavior of the libraries, if such are found.
3. Based on the previous step, propose and implement improvements of Diffkemp which mitigate some of the false positives.