Tim Sonnekalb
YOU?
Author Swipe
View article: TIPICAL -- Type Inference for Python In Critical Accuracy Level
TIPICAL -- Type Inference for Python In Critical Accuracy Level Open
Type inference methods based on deep learning are becoming increasingly popular as they aim to compensate for the drawbacks of static and dynamic analysis approaches, such as high uncertainty. However, their practical application is still …
View article: A Static Analysis Platform for Investigating Security Trends in Repositories
A Static Analysis Platform for Investigating Security Trends in Repositories Open
Static analysis tools come in many forms andconfigurations, allowing them to handle various tasks in a (secure) development process: code style linting, bug/vulnerability detection, verification, etc., and adapt to the specific requirement…
View article: Generalizability of Code Clone Detection on CodeBERT
Generalizability of Code Clone Detection on CodeBERT Open
Transformer networks such as CodeBERT already achieve outstanding results for code clone detection in benchmark datasets, so one could assume that this task has already been solved. However, code clone detection is not a trivial task. Sema…
View article: Generalizability of Code Clone Detection on CodeBERT
Generalizability of Code Clone Detection on CodeBERT Open
Transformer networks such as CodeBERT already achieve outstanding results for code clone detection in benchmark datasets, so one could assume that this task has already been solved. However, code clone detection is not a trivial task. Sema…
View article: Cross-Domain Evaluation of a Deep Learning-Based Type Inference System
Cross-Domain Evaluation of a Deep Learning-Based Type Inference System Open
Optional type annotations allow for enriching dynamic programming languages with static typing features like better Integrated Development Environment (IDE) support, more precise program analysis, and early detection and prevention of type…
View article: ROMEO: Exploring Juliet through the Lens of Assembly Language
ROMEO: Exploring Juliet through the Lens of Assembly Language Open
Automatic vulnerability detection on C/C++ source code has benefitted from the introduction of machine learning to the field, with many recent publications considering this combination. In contrast, assembly language or machine code artifa…
View article: ROMEO: Exploring Juliet through the Lens of Assembly Language
ROMEO: Exploring Juliet through the Lens of Assembly Language Open
Automatic vulnerability detection on C/C++ source code has benefitted from the introduction of machine learning to the field, with many recent publications targeting this combination. In contrast, assembly language or machine code artifact…
View article: Deep security analysis of program code
Deep security analysis of program code Open
Due to the continuous digitalization of our society, distributed and web-based applications become omnipresent and making them more secure gains paramount relevance. Deep learning (DL) and its representation learning approach are increasin…
View article: SAST database of repository Luca App Android
SAST database of repository Luca App Android Open
SAST database as sqlite database containing the LucaApp Android Gitlab repository. Retrieved on June 21nd, 2021 using our SAST analysis pipeline.
View article: SAST database of repository Luca App Android
SAST database of repository Luca App Android Open
SAST database as sqlite database containing the LucaApp Android Gitlab repository. Retrieved on June 21nd, 2021 using our SAST analysis pipeline.
View article: Towards automated, provenance-driven security audit for git-based repositories: applied to germany's corona-warn-app: vision paper
Towards automated, provenance-driven security audit for git-based repositories: applied to germany's corona-warn-app: vision paper Open
Software repositories contain information about source code, software development processes, and team interactions. We combine provenance of the development process with code security analysis to automatically discover insights. This provi…