atlas

Research map / Time series / Foundation models for time series

CLEP: A Novel Contrastive Learning Method for Evolutionary Reentrancy Vulnerability Detection

AAAI 2025 · Time series › Foundation models for time series · approach: Time series representation learning · 2 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Proposes CLEP, a cross-version contrastive learning method with evolving (class and version) pairs and a version-aware sampler (MPVSampler) to detect evolutionary reentrancy vulnerabilities in Solidity smart contracts across versions.

Problem

Detecting reentrancy vulnerabilities in smart contracts whose patterns and semantics evolve across Solidity versions, causing existing detectors to degrade on newer versions and drift away from learned distributions.

Approach

Uses version labels alongside class labels to form hierarchical positive/negative contract pairs (same-version vulnerable, cross-version or flawless, vulnerable vs flawless) in a cross-version contrastive loss, plus a version-aware sampler that ensures every batch covers all versions, and then fine-tunes with few new-version samples.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
use CLEP instead of ReVulDL with version-specific fine-tuningReentrancy detection · SmartBug Wild (<0.5)F1: 92.10 -> 95.21Helped
use CLEP instead of ReVulDL with version-specific fine-tuningReentrancy detection · ReTranStudy (0.5)F1Helped
use CLEP instead of ReVulDL with version-specific fine-tuningReentrancy detection · ReTranStudy (0.6)F1Helped
use CLEP instead of ReVulDL with version-specific fine-tuningReentrancy detection · ReTranStudy (0.7)F1Helped
use CLEP instead of ReVulDL with version-specific fine-tuningReentrancy detection · ReTranStudy (0.8)F1: 66.54 -> 77.30Helped
use CLEP with cross-version fine-tuning instead of ReVulDLReentrancy detection · All versions (<0.5 to 0.8)F1: 14.20%Helped
use CLEP with sequential fine-tuning instead of ReVulDLReentrancy detection · ReTranStudy (0.8) unseen test dataF1: 16.46%Helped
add cross-version contrastive loss instead of using SupCon (ablation)CLEP · All versionsF1: 2.45%Helped
add MPVSampler instead of MPerClassSampler (ablation)CLEP with SupCon · All versionsF1: 4.68%Helped
add both MPVSampler and cross-version contrastive loss (ablation)CLEP · All versionsF1: 7.13%Helped
use Euclidean distance instead of cosine distance (ablation)CLEP · All versionsF1: 3.67%Helped

Surprising findings

Limitations

Experimental setup

Datasets: SmartBug Wild ReTranStudy

Benchmarks: SmartBug Wild ReTranStudy

Metrics: recall precision F1 ROC AUC

Baselines: Oyente Mythril Securify Slither Smartian Sailfish Vanilla-RNN LSTM GRU Peculiar ReVulDL

Builds on: GraphCodeBERT supervised contrastive loss (SupCon) Peculiar ReVulDL

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy