Search Results - "Static analysis"

DroidReach++: Exploring the reachability of native code in android applications by Borzacchiello, Luca, Cornacchia, Matteo, Maiorca, Davide, Giacinto, Giorgio, Coppa, Emilio

“…Modern Android applications often incorporate numerous native C/C++ libraries to efficiently handle CPU-intensive tasks or interact at a low level with…”
Get full text

Detecting Overlay Attacks in Android by Kar, Animesh, Stakhanova, Natalia, Branca, Enrico

Get full text

Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach by Li, Haonan, Hao, Yu, Zhai, Yizhuo, Qian, Zhiyun

“…While static analysis is instrumental in uncovering software bugs, its precision in analyzing large and intricate codebases remains challenging. The emerging…”
Get full text

Static bending analysis of beams made of functionally graded porous materials by Zghal, Souhir, Ataoui, Dhia, Dammak, Fakhreddine

“…This paper constitutes a first attempt to explore the influence of porosity on bending static analysis of functionally graded (FG) beams using a refined mixed…”
Get full text

Classification of ransomware families with machine learning based on N -gram of opcodes by Zhang, Hanqi, Xiao, Xi, Mercaldo, Francesco, Ni, Shiguang, Martinelli, Fabio, Sangaiah, Arun Kumar

Get full text

Ransomware classification using patch-based CNN and self-attention network on embedded N-grams of opcodes by Zhang, Bin, Xiao, Wentao, Xiao, Xi, Sangaiah, Arun Kumar, Zhang, Weizhe, Zhang, Jiajia

“…Ransomware is a special kind of malware, which leads to irreversible data losses and incurs enormous economic costs. It is an urgent task to detect ransomware…”
Get full text

The Adoption of JavaScript Linters in Practice: A Case Study on ESLint by Tomasdottir, Kristin Fjola, Aniche, Mauricio, van Deursen, Arie

“…A linter is a static analysis tool that warns software developers about possible code errors or violations to coding standards. By using such a tool, errors…”
Get full text

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning by Huang, Heqing, Guo, Yiyuan, Shi, Qingkai, Yao, Peisen, Wu, Rongxin, Zhang, Charles

“…Unlike coverage-based fuzzing that gives equal attention to every part of a code, directed fuzzing aims to direct a fuzzer to a specific target in the code,…”
Get full text

A survey on machine learning-based malware detection in executable files by Singh, Jagsir, Singh, Jaswinder

“…In last decade, a proliferation growth in the development of computer malware has been done. Nowadays, cybercriminals (attacker) use malware as a weapon to…”
Get full text

Similarity-based Android malware detection using Hamming distance of static binary features by Taheri, Rahim, Ghahramani, Meysam, Javidan, Reza, Shojafar, Mohammad, Pooranian, Zahra, Conti, Mauro

“…In this paper, we develop four malware detection methods using Hamming distance to find similarity between samples which are first nearest neighbors (FNN), all…”
Get full text

DL-Droid: Deep learning based android malware detection using real devices by Alzaylaee, Mohammed K., Yerima, Suleiman Y., Sezer, Sakir

“…The Android operating system has been the most popular for smartphones and tablets since 2012. This popularity has led to a rapid raise of Android malware in…”
Get full text

SmartCheck: static analysis of ethereum smart contracts by Tikhomirov, Sergei, Voskresenskaya, Ekaterina, Ivanitskiy, Ivan, Takhaviev, Ramil, Marchenko, Evgeny, Alexandrov, Yaroslav

“…Ethereum is a major blockchain-based platform for smart contracts - Turing complete programs that are executed in a decentralized network and usually…”
Get full text

Survey of techniques to detect common weaknesses in program binaries by Adhikari, Ashish, Kulkarni, Prasad

Get full text

Two Approaches to Fast Bytecode Frontend for Static Analysis by Li, Chenxi, Lin, Haoran, Tan, Tian, Li, Yue

“…In static analysis frameworks for Java, the bytecode frontend serves as a critical component, transforming complex, stack-based Java bytecode into a more…”
Get full text

A critical review of recent research on functionally graded plates by Jha, D.K., Kant, Tarun, Singh, R.K.

“…In view of the significant increase in research activity and publications in functionally graded materials (FGMs) and structures in the last few years, the…”
Get full text

A novel inertial impact piezoelectric actuator with adjustable angle vibrators by Lin, Shengrong, Ma, Jijie, Li, Jianping, Li, Shengjie, Wang, Minghao, Hu, Yili, Wen, Jianming

“…•A novel inertial piezoelectric actuator utilizing adjustable angle vibrators is proposed.•The established static theoretical model reveals that the actuator…”
Get full text

Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities by Guo, Zhaoqiang, Tan, Tingting, Liu, Shiran, Liu, Xutong, Lai, Wei, Yang, Yibiao, Li, Yanhui, Chen, Lin, Dong, Wei, Zhou, Yuming

“…Static analysis (SA) tools can generate useful static warnings to reveal the problematic code snippets in a software system without dynamically executing the…”
Get full text

Nonlinear static analysis of masonry structures with mortar joints and cracking units by optimization‐based rigid block models by Portioli, Francesco P. A., Lourenço, Paulo B.

“…A rigid block model with elasto‐plastic softening interfaces is developed for nonlinear static analysis of masonry structures subject to monotonic loading…”
Get full text

Detecting Android malicious apps and categorizing benign apps with ensemble of classifiers by Wang, Wei, Li, Yuanyuan, Wang, Xing, Liu, Jiqiang, Zhang, Xiangliang

“…Android platform has dominated the markets of smart mobile devices in recent years. The number of Android applications (apps) has seen a massive surge…”
Get full text

IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis by Nougrahiya, Aman, Nandivada, V. Krishna

“…Iterative dataflow analyses (IDFAs) are important static analyses employed by tools like compilers for enabling program optimizations, comprehension,…”
Get full text