Results 31 to 40 of about 3,335 (212)
Building an obfuscation compiler based on LLVM infrastructure
Труды Института системного программирования РАН, 2018 The paper describes the obfuscating transformations, which were implemented while developing an LLVM-based obfuscating compiler in ISP RAS. The proposed transformations are based on well-known obfuscation algorithms and are specifically improved to ...
V. P. Korchagin +3 more
doaj +1 more source
Method of diversity software protection based on fusion compilation
网络与信息安全学报, 2020 For the obvious characteristics and single mode of the existing common protection methods, with the help of the LLVM framework, a diversity software protection method based on fusion compilation was proposed.
XIONG Xiaobing, SHU Hui, KANG Fei
doaj +1 more source
Connection Science, 2023 Compiler optimization presents a formidable challenge, seeking to enhance code quality through various techniques. One significant obstacle is the phase-ordering problem, where the sequence of optimization algorithms can impact code quality and ...
YungYu Zhuang +2 more
doaj +1 more source
CaLLi: OCaml library for static analysis of LLVM bitcode
SoftwareXAs LLVM has matured, several third-party static analysis frameworks targeting LLVM bitcode have emerged. However, because these frameworks are written in one of the traditional object-oriented languages such as C++ and Java, developing new analysis tools
Soyeon Baek, Sungho Lee
doaj +1 more source
Dynamic compilation of SQL queries for PostgreSQL
Труды Института системного программирования РАН, 2018 In recent years, as performance and capacity of main and external memory grow, performance of database management systems (DBMSes) on certain kinds of queries is more determined by raw CPU speed.
R. A. Buchatskiy +5 more
doaj +1 more source
SMT-based Distributed Bounded Model Checking in Spark [PDF]
Jisuanji gongcheng, 2017 The credibility of program verification results and the verification efficiency in Satisfiablity Modulo Theories(SMT)-based bounded model checking are influenced greatly by bounds.However,the traditional serial checking method cannot validate under the ...
REN Shengbing,ZHANG Jianwei,WU Bin,WANG Zhijian
doaj +1 more source
F3AMD: Fast FiLM‐Conditioned Fourier Autoregressive Motion Diffusion
Computer Graphics Forum, EarlyView.Abstract Recent advances in generative motion synthesis have enabled realtime autoregressive generation of diverse and realistic character animations conditioned on user inputs, as demonstrated by models such as the Conditional Autoregressive Motion Diffusion Model (CAMDM).
Calvin Z. Qiao +5 more
wiley +1 more source
LLVM OpenMP TR4E Alpha Release
, 2017 <p>The LLVM OpenMP runtime system, extended with loop scheduling callbacks and an augmented task creation callback. The release is said to be alpha to signal that the extensions require tests and code review before it is ready to be merged into the
Peder Voldnes Langdal
core +1 more source
Fixing Ill‐Formed UTF‐16 Strings With SIMD Instructions
Software: Practice and Experience, Volume 56, Issue 12, Page 1498-1509, December 2026.ABSTRACT Background We must fix ill‐formed UTF‐16 strings, where surrogate pairs are mismatched. Programming languages such as JavaScript provide functions that replace mismatched surrogates with the Unicode replacement character (U + FFFD). Objectives We seek to accelerate the correction of ill‐formed UTF‐16 strings.
Robert Clausecker, Daniel Lemire
wiley +1 more source
Scalable code clone detection tool based on semantic analysis
Труды Института системного программирования РАН, 2018 This article describes the methods of code clones detection. New approach of code clones detection is proposed for C/C++ languages based on analysis of existed methods.
Sevak Sargsyan +4 more
doaj +1 more source