Md Lutfor Rahman | Searcharxiv

arXiv2026

First-Principles Investigation of the Pressure Dependent Physical Properties of Intermetallic Kagome ZrRe2

We present a density functional theory investigation of the pressure dependent structural, electronic, mechanical, thermophysical, vibrational, and optical properties of the intermetallic Kagome compound ZrRe2. The calculated ground-state structural parameters are in excellent agreement with available experimental results. The estimated structural parameters, elastic constants, and phonon dispersion confirm the structural, chemical, mechanical, and dynamical stability of ZrRe2 up to 25 GPa. The Kagome feature in the material has been identified from the electronic band structure for the first time. ZrRe2 exhibits topological feature at 0 GPa, which vanishes under 25 GPa. Fermi surface (FS) analysis predicts that ZrRe2 could potentially host a charge density wave (CDW) phase. The electronic and optical studies confirmed its metallic nature. The Debye temperature and phonon thermal conductivity are moderate, while the melting point is relatively high. Furthermore, ZrRe2 possesses moderate electron-phonon coupling, which weakens under pressure as the phonon modes harden. Consequently, the superconducting transition temperature decreases with increasing pressure. Most of the properties studied and analyses performed in this paper are novel in nature.

cond-mat.mtrl-sci↗

arXiv2019

SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis

Concolic execution is a powerful program analysis technique for exploring execution paths in a systematic manner. Compare to random-mutation-based fuzzing, concolic execution is especially good at exploring paths that are guarded by complex and tight branch predicates (e.g., (a*b) == 0xdeadbeef). The drawback, however, is that concolic execution engines are much slower than native execution. One major source of the slowness is that concolic execution engines have to the interpret instructions to maintain the symbolic expression of program variables. In this work, we propose SynFuzz, a novel approach to perform scalable concolic execution. SynFuzz achieves this goal by replacing interpretation with dynamic taint analysis and program synthesis. In particular, to flip a conditional branch, SynFuzz first uses operation-aware taint analysis to record a partial expression (i.e., a sketch) of its branch predicate. Then it uses oracle-guided program synthesis to reconstruct the symbolic expression based on input-output pairs. The last step is the same as traditional concolic execution - SynFuzz consults a SMT solver to generate an input that can flip the target branch. By doing so, SynFuzz can achieve an execution speed that is close to fuzzing while retain concolic execution's capability of flipping complex branch predicates. We have implemented a prototype of SynFuzz and evaluated it with three sets of programs: real-world applications, the LAVA-M benchmark, and the Google Fuzzer Test Suite (FTS). The evaluation results showed that SynFuzz was much more scalable than traditional concolic execution engines, was able to find more bugs in LAVA-M than most state-of-the-art concolic execution engine (QSYM), and achieved better code coverage on real-world applications and FTS.

cs.CR↗