Výsledky vyhledávání - Bytecode Engineering

Reverse Engineering of Obfuscated Lua Bytecode via Interpreter Semantics Testing Autor Luo, Chenke, Ming, Jiang, Fu, Jianming, Peng, Guojun, Li, Zhetao

“… Unfortunately, Lua's unique advantages also catch cybercriminals' attention. A growing number of IoT malware authors switch to Lua for malicious payload development and then distribute malware in bytecode form…”
Získat plný text

DefectChecker: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode Autor Chen, Jiachi, Xia, Xin, Lo, David, Grundy, John, Luo, Xiapu, Chen, Ting

“…Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore,…”
Získat plný text

Java-MaC: A Run-Time Assurance Approach for Java Programs Autor Kim, MoonZoo, Viswanathan, Mahesh, Kannan, Sampath, Lee, Insup, Sokolsky, Oleg

“…We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance…”
Získat plný text

DexBERT: Effective, Task-Agnostic and Fine-Grained Representation Learning of Android Bytecode Autor Sun, Tiezhu, Allix, Kevin, Kim, Kisub, Zhou, Xin, Kim, Dongsun, Lo, David, Bissyande, Tegawende F., Klein, Jacques

“…The automation of an increasingly large number of software engineering tasks is becoming possible thanks to Machine Learning (ML…”
Získat plný text

BCGen: a comment generation method for bytecode Autor Huang, Yuan, Huang, Jinbo, Chen, Xiangping, He, Kunning, Zhou, Xiaocong

“…Bytecode is a form of instruction set designed for efficient execution by a software interpreter…”
Získat plný text

Towards Improving the Performance of Comment Generation Models by Using Bytecode Information Autor Huang, Yuan, Huang, Jinbo, Chen, Xiangping, Zheng, Zibin

“… In this study, we found that the bytecode compiled from the source code can provide useful information for comment generation, hence we propose to use the information from bytecode to assist the comment generation…”
Získat plný text

VulHunter: Hunting Vulnerable Smart Contracts at EVM Bytecode-Level via Multiple Instance Learning Autor Li, Zhaoxuan, Lu, Siqi, Zhang, Rui, Zhao, Ziming, Liang, Rujin, Xue, Rui, Li, Wenhao, Zhang, Fan, Gao, Sheng

“… (i) Meet the requirements of detecting the source code, bytecode, and opcode of contracts simultaneously; (ii…”
Získat plný text

Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study Autor di Angelo, Monika, Durieux, Thomas, Ferreira, João F., Salzer, Gernot

“…Blockchain programs (also known as smart contracts) manage valuable assets like cryptocurrencies and tokens, and implement protocols in domains like…”
Získat plný text

ByteEye: A smart contract vulnerability detection framework at bytecode level with graph neural networks Autor Yang, Jinni, Liu, Shuang, Dai, Surong, Fang, Yaozheng, Xie, Kunpeng, Lu, Ye

“… To address these issues, we present ByteEye, a bytecode level smart contract vulnerability detection framework with Graph Neural Networks (GNNs…”
Získat plný text

MoveHelper: Reverse Engineering for Move Smart Contract Bytecode Autor Yang, Wenwu, Li, Fang, Chen, Xi, Chen, Ting

“… However, for contracts lacking source code, analysis often requires collaboration with relevant bytecode disassembly tools…”
Získat plný text

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis Autor Păsăreanu, Corina S., Visser, Willem, Bushnell, David, Geldenhuys, Jaco, Mehlitz, Peter, Rungta, Neha

“…Symbolic PathFinder (SPF) is a software analysis tool that combines symbolic execution with model checking for automated test case generation and error detection in Java bytecode programs…”
Získat plný text

Reverse-engineering 1-n associations from Java bytecode using alias analysis Autor Kang, Yoohoon, Park, Chanjin, Wu, Chisu

“… This paper presents a new approach to reverse-engineering 1-n associations from Java bytecode based on alias analysis…”
Získat plný text

Mining Bytecode Features of Smart Contracts to Detect Ponzi Scheme on Blockchain Autor Shen, Xiajiong, Jiang, Shuaimin, Zhang, Lei

“… To solve this problem, we propose a detection model for detecting Ponzi schemes in smart contracts using bytecode…”
Získat plný text

Polymorphic bytecode instrumentation Autor Binder, Walter, Moret, Philippe, Tanter, Éric, Ansaloni, Danilo

“…Summary Bytecode instrumentation is a widely used technique to implement aspect weaving and dynamic analyses in virtual machines such as the Java virtual machine…”
Získat plný text

A Deep Learning Approach for Android Malware Detection Using Mixed Bytecode Images and Attention-Based ResNet Autor S. Girirajan

“… This technique consists in converting an Android application bytecode, into set of images which represent dynamic…”
Získat plný text

Using Bytecode Instruction Counting as Portable CPU Consumption Metric Autor Binder, Walter, Hulaas, Jarle

“…Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate…”
Získat plný text

Java Bytecode Transformations for Efficient, Portable CPU Accounting Autor Binder, Walter, Hulaas, Jarle

“…Resource management is essential to build reliable middleware and to host potentially untrusted software components. Resource accounting allows to study and…”
Získat plný text

AST vs. Bytecode: Interpreters in the Age of Meta-Compilation Autor Larose, Octave, Kaleba, Sophie, Burchell, Humphrey, Marr, Stefan

“… A key element in this endeavor is interpreter performance. Folklore tells us that bytecode interpreters are superior to abstract-syntax-tree (AST…”
Získat plný text

Lightweight extraction of object models from bytecode Autor Jackson, D., Waingold, A.

“…A program's object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists…”
Získat plný text

Hunting Vulnerable Smart Contracts via Graph Embedding Based Bytecode Matching Autor Huang, Jianjun, Han, Songming, You, Wei, Shi, Wenchang, Liang, Bin, Wu, Jingzheng, Wu, Yanjun

“…, diversity of bytecode generation resulting from the rapid evolution of compilers and interference of noise code easily caused by the homogeneous business logics…”
Získat plný text