Autor der Publikation

Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis.

, , , und . APSEC, Seite 268-275. IEEE, (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

Scalable Fault Detection Based on Precise Access Path., , , und . APSEC, Seite 473-481. IEEE, (2021)VBSAC: a value-based static analyzer for C., , , , , , und . ISSTA, Seite 382-385. ACM, (2019)Research on Matrix Multiplication Based on the Combination of OpenACC and CUDA.. GSES, Volume 980 von Communications in Computer and Information Science, Seite 100-108. Springer, (2016)Multimodal computer image recognition based on depth neural network., , , und . Clust. Comput., 22 (6): 14819-14825 (2019)TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis., , , , und . ASE, Seite 1170-1173. IEEE, (2019)Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis., , , und . APSEC, Seite 268-275. IEEE, (2019)A Constraint-Pattern Based Method for Reachability Determination., , , , , , und . COMPSAC (1), Seite 85-90. IEEE Computer Society, (2017)VFQL: combinational static analysis as query language., , , und . ISSTA, Seite 378-381. ACM, (2019)Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm., , , , und . IEEE Trans. Evol. Comput., 22 (3): 334-346 (2018)A static analysis tool with optimizations for reachability determination., , , , , und . ASE, Seite 925-930. IEEE Computer Society, (2017)