SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability

Z Liao, Z Zheng, X Chen, Y Nan - Proceedings of the 31st ACM …, 2022 - dl.acm.org
With the increasing popularity of blockchain, automatically detecting vulnerabilities in smart
contracts is becoming a significant problem. Prior research mainly identifies smart contract …

Jucify: A step towards android code unification for enhanced static analysis

J Samhi, J Gao, N Daoudi, P Graux, H Hoyez… - Proceedings of the 44th …, 2022 - dl.acm.org
Native code is now commonplace within Android app packages where it co-exists and
interacts with Dex bytecode through the Java Native Interface to deliver rich app …

{PolyCruise}: A {Cross-Language} dynamic information flow analysis

W Li, J Ming, X Luo, H Cai - 31st USENIX Security Symposium (USENIX …, 2022 - usenix.org
Despite the fact that most real-world software systems today are written in multiple
programming languages, existing program analysis based security techniques are still …

A multilanguage static analysis of python programs with native C extensions

R Monat, A Ouadjaout, A Miné - International Static Analysis Symposium, 2021 - Springer
Modern programs are increasingly multilanguage, to benefit from each programming
language's advantages and to reuse libraries. For example, developers may want to …

LiSA: a generic framework for multilanguage static analysis

L Negrini, P Ferrara, V Arceri, A Cortesi - Challenges of Software …, 2023 - Springer
Modern software engineering revolves around distributed applications. From IoT networks to
client-server infrastructures, the application code is increasingly being divided into separate …

Declarative static analysis for multilingual programs using CodeQL

D Youn, S Lee, S Ryu - Software: Practice and Experience, 2023 - Wiley Online Library
Declarative static program analysis has become one of the widely‐used program analysis
techniques. Declarative static analyzers perform three steps: creating databases of facts …

On the vulnerability proneness of multilingual code

W Li, L Li, H Cai - Proceedings of the 30th ACM Joint European …, 2022 - dl.acm.org
Software construction using multiple languages has long been a norm, yet it is still unclear if
multilingual code construction has significant security implications and real security …

How are multilingual systems constructed: Characterizing language use and selection in open-source multilingual software

W Li, A Marino, H Yang, N Meng, L Li… - ACM Transactions on …, 2024 - dl.acm.org
For many years now, modern software is known to be developed in multiple languages
(hence termed as multilingual or multi-language software). Yet, to date, we still only have …

Static analysis of jni programs via binary decompilation

J Park, S Lee, J Hong, S Ryu - IEEE Transactions on Software …, 2023 - ieeexplore.ieee.org
JNI programs are widely used thanks to the combined benefits of C and Java programs.
However, because understanding the interaction behaviors between two different …

Learning to detect and localize multilingual bugs

H Yang, Y Nong, T Zhang, X Luo, H Cai - Proceedings of the ACM on …, 2024 - dl.acm.org
Increasing studies have shown bugs in multi-language software as a critical loophole in
modern software quality assurance, especially those induced by language interactions (ie …