Autor der Publikation

Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android.

, , , , , und . ISSTA, Seite 394-397. ACM, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers., , , , , und . ASE, Seite 880-891. IEEE, (2021)Approximating Integer Solution Counting via Space Quantification for Linear Constraints., , , , , und . IJCAI, Seite 1697-1703. ijcai.org, (2019)A New Probabilistic Algorithm for Approximate Model Counting., , , , und . IJCAR, Volume 10900 von Lecture Notes in Computer Science, Seite 312-328. Springer, (2018)SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs., , , , und . ASE, Seite 1122-1125. IEEE, (2019)PSMT: Satisfiability Modulo Theories Meets Probability Distribution., , , , , , , und . ASE, Seite 1756-1760. IEEE, (2023)Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count., , , , und . ASE, Seite 1429-1440. IEEE, (2023)Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android., , , , , und . ISSTA, Seite 394-397. ACM, (2019)GTFuzz: Guard Token Directed Grey-Box Fuzzing., , , , , , und . PRDC, Seite 160-170. IEEE, (2020)Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis., , , und . QRS, Seite 260-271. IEEE, (2019)