Search Results - (java OR jana) program analysis

Extending Abstract Interpretation to Dependency Analysis of Database Applications by Jana, Angshuman, Halder, Raju, Abhishekh, Kalahasti Venkata, Ganni, Sanjeevini Devi, Cortesi, Agostino

“…, program slicing, information flow security analysis, debugging, code-optimization, code-reuse, code-understanding…”
Get full text

RAPTR-SV: a hybrid method for the detection of structural variants by Bickhart, Derek M., Hutchison, Jana L., Xu, Lingyang, Schnabel, Robert D., Taylor, Jeremy F., Reecy, James M., Schroeder, Steven, Van Tassell, Curt P., Sonstegard, Tad S., Liu, George E.

“…% fewer duplication predictions. Availability and implementation: RAPTR-SV is written in Java and uses new features in the collections framework in the latest…”
Get full text

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs by Jifeng Xuan, Martinez, Matias, DeMarco, Favio, Clement, Maxime, Lamelas Marcote, Sebastian, Durieux, Thomas, Le Berre, Daniel, Monperrus, Martin

“…, if-then-else statements). This approach takes a buggy program as well as a test suite as input and generates a patch with a conditional expression as output…”
Get full text

Ultimate Java for Data Analytics and Machine Learning: Unlock Java's Ecosystem for Data Analysis and Machine Learning Using WEKA, JavaML, JFreeChart, and Deeplearning4j (English Edition) by Kumar, Abhishek

“…This book is a comprehensive guide to data analysis using Java. It starts with the fundamentals, covering the purpose of data analysis, different data types and structures, and how to pre-process datasets…”
Get full text

Numerical Methods Using Java - For Data Science, Analysis, and Engineering by Li, Haksun

“…Implement numerical algorithms in Java using NM Dev, an object-oriented and high-performance programming library for mathematics…”
Get full text

Unlocking the mentally ill in Indonesia: An empirical study of the effectiveness of a “Bebas Pasung” program in Central Java by Tyas, Tri Hayuning, Good, Mary-Jo D., Pratikno, Bambang, Subandi, M. A., Marchira, Carla R., Good, Byron J.

“…) from confinement and provided mental health services. This study is an empirical evaluation of the effectiveness of one Bebas Pasung program in Indonesia at two-year follow…”
Get full text

On the Efficiency of Test Suite based Program Repair A Systematic Assessment of 16 Automated Repair Systems for Java Programs by Liu, Kui, Wang, Shangwen, Kisub Kim, Anil Koyuncu, Bissyande, Tegawende F., Kim, Dongsun, Wu, Peng, Klein, Jacques, Mao, Xiaoguang, Traon, Yves Le

“…Test-based automated program repair has been a prolific field of research in software engineering in the last decade…”
Get full text

JEDi: java essential dynamics inspector — a molecular trajectory analysis toolkit by David, Charles C., Avery, Chris S., Jacobs, Donald J.

“…Background Principal component analysis (PCA) is commonly applied to the atomic trajectories of biopolymers to extract essential dynamics that describe biologically relevant motions…”
Get full text

Platform-Independent Dynamic Taint Analysis for JavaScript by Karim, Rezwana, Tip, Frank, Sochurkova, Alena, Sen, Koushik

“…Previous approaches to dynamic taint analysis for JavaScript are implemented directly in a browser or JavaScript engine, limiting their applicability to a single platform and requiring ongoing…”
Get full text

SPOON: A library for implementing analyses and transformations of Java source code by Pawlak, Renaud, Monperrus, Martin, Petitprez, Nicolas, Noguera, Carlos, Seinturier, Lionel

“…Summary This paper presents SPOON, a library for the analysis and transformation of Java source code…”
Get full text

Call-Graph-Based Context-Sensitive Points-to Analysis for Java by Bao, Yulin, Zhang, Chenyi, Su, Kaile

“…Pointer analysis or points-to analysis (PTA) is a static program analysis for variables in a program, which determines a set of heap objects that individual variables may refer to at run time…”
Get full text

Geochemistry of Cretaceous basalts from the Ontong Java Plateau: Implications for the off-axis plume–ridge interaction by Chen, Shuang-Shuang, Liu, Jia-Qi, Gao, Rui, Wang, Ze-Wei

“…Ontong Java Plateau (OJP) is the largest known igneous province preserved on Earth…”
Get full text

Static Analysis of Remote Procedure Call in Java Programs by Cui, Baoquan, Qu, Rong, Tang, Zhen, Zhang, Jian

“… We have observed that many of the existing RPC frameworks/programs written in Java are based on explicit protocols, which makes them possible to be modelled for static analysis…”
Get full text

Cross-Language Taint Analysis: Generating Caller-Sensitive Native Code Specification for Java by Kan, Shuangxiang, Gao, Yuhao, Zhong, Zexin, Sui, Yulei

“… In this paper, we introduce CSS, a new Caller-Sensitive Specification approach designed to enhance the static taint analysis of Java programs employing JNI to interface…”
Get full text

Large‐scale characterization of Java streams by Rosales, Eduardo, Basso, Matteo, Rosà, Andrea, Binder, Walter

“… Recent studies aim to shedding light on how Java developers use streams. However, they consider only small sets of applications and mainly apply manual code inspection and static analysis techniques…”
Get full text

JShellDetector: A Java Fileless Webshell Detector Based on Program Analysis by Song, Xuyan, Qin, Yiting, Liu, Xinyao, Cui, Baojiang, Fu, Junsong

“…Fileless webshell attacks against Java web applications have become more frequent in recent years as Java has gained market share…”
Get full text

IntraJ: an on-demand framework for intraprocedural Java code analysis by Riouak, Idriss, Fors, Niklas, Hedin, Görel, Reichenbach, Christoph

“… Previous work has shown how Reference Attribute Grammars (RAGs) can be used for declarative implementation of competitive tooling for intraprocedural control-flow and dataflow analysis of Java source code, embodied in the tool IntraJ…”
Get full text

Enhancing Java Web Application Security: Injection Vulnerability Detection via Interprocedural Analysis and Deep Learning by Zhang, Bing, Zhi, Xu, Wang, Meng, Ren, Rong, Dong, Jun

“… Here, we propose a prototype for detecting I njection V ulnerabilities in Java web applications based on I nterprocedural analysis and the bidirectional encoder representations from transformers B ERT-BiLSTM-CRF model (IVIB…”
Get full text

Data Structures in Java by Campesato, Oswald

“…This book is a fast-paced introduction to using data structures with Java. Numerous code samples and listings are included to support myriad topics…”
Get full text

Weakly sensitive analysis for JavaScript object‐manipulating programs by Ko, Yoonseok, Rival, Xavier, Ryu, Sukyoung

“… about. In this context, most static analyses for JavaScript programs require precise call graph information, since the presence of large numbers of spurious callees significantly deteriorates precision…”
Get full text