Personensuche
X
?
Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction ,
1
A Context-Sensitive Pointer Analysis Framework for Rust and..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
5
SootUp: A Redesign of the Soot Static Analysis Framework:
, In:
?
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis ,
9
Reducing the Memory Footprint of IFDS-Based Data-Flow Analy..:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
11
Automatic Generation and Reuse of Precise Library Summaries..:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
12