Gated Single Assignment Form Partnered with Value-Based Statistical Fault Localization for Numerical Java Programs

Autor: Traben, Oliver

In recent years, new value-based statistical fault localization methodologies have been introduced that utilize causal inference techniques to better estimate where faults occur in a program. These methods (1) convert numerical Java programs into equ

Externí odkaz: http://rave.ohiolink.edu/etdc/view?acc_num=case1682002405858857

Maskara: Compilation of a Masking Countermeasure With Optimized Polynomial Interpolation

Autor: Damien Couroussé, Karine Heydemann, Inès Ben El Ouahma, Quentin L. Meunier, Nicolas Belleville

Publikováno v: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2020, 39 (11), pp.1-1. ⟨10.1109/TCAD.2020.3012237⟩
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020, 39 (11), pp.1-1. ⟨10.1109/TCAD.2020.3012237⟩

International audience; Side-channel attacks are amongst the major threats for embedded systems and IoT devices. Masking is one of the most used countermeasure against such attacks, but its application remains a difficult process. We propose a target

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb57415ed572f6e0cdadfb6a2a703488
https://doi.org/10.1109/tcad.2020.3012237

An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution

Autor: Khaled Suwais, Abdalla Wasef Marashdih, Zarul Fitri Zaaba

Publikováno v: Applied Sciences, Vol 11, Iss 5384, p 5384 (2021)
Applied Sciences
Volume 11
Issue 12

Static analysis is one of the techniques used today to analyze source codes and minimize the issue of software vulnerability. Static analysis has the ability to observe all possible software paths in an application through the scrutiny of a web appli

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f53f02fd04c4324c53253d7e1a3e1800
https://www.mdpi.com/2076-3417/11/12/5384

Java Ranger: statically summarizing regions for efficient symbolic execution of Java

Autor: Vaibhav Sharma, Stephen McCamant, Soha Hussein, Michael W. Whalen, Willem Visser

Publikováno v: ESEC/SIGSOFT FSE

Merging execution paths is a powerful technique for reducing path explosion in symbolic execution. One approach, introduced and dubbed “veritesting” by Avgerinos et al., works by translating abounded control flow region into a single constraint.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::dd846d9b7dacdb865b0295217221e7d6
https://doi.org/10.1145/3368089.3409734

Effective function merging in the SSA form

Autor: Rodrigo C. O. Rocha, Pavlos Petoumenos, Hugh Leather, Zheng Wang, Murray Cole

Publikováno v: PLDI
Rocha, R C O, Petoumenos, P, Wang, Z, Cole, M & Leather, H 2020, Effective Function Merging in the SSA Form . in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation . Association for Computing Machinery (ACM), pp. 854-868, 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 15/06/20 . https://doi.org/10.1145/3385412.3386030
Rocha, R, Petoumenos, P, Wang, Z, Cole, M & Leather, H 2020, Effective Function Merging in the SSA Form . in A F Donaldson & E Torlak (eds), Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020) . Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 854-868, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, lO, 15/06/20 . https://doi.org/10.1145/3385412.3386030

Function merging is an important optimization for reducing code size. This technique eliminates redundant code across functions by merging them into a single function. While initially limited to identical or trivially similar functions, the most rece

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3427f56d2f8d3d978ecd379739f6e14
https://doi.org/10.1145/3385412.3386030