C++中的fsanitize指令

一个集成在 gccclang 编译器中的编译指令,可以有效测试程序中的一些诸如数组越界、未定义行为等情况。

举个例子:

cpp 复制代码
#include <bits/stdc++.h>
using namespace std;

const int maxn=2e5+5,mxr=1e5,maxm=1e7+5;
int head[maxn],nxt[maxn],to[maxn],f[maxn][25],cnt,dep[maxn],rot[maxn],ans[maxn];

struct node{int ls,rs,sum,mx;}t[maxm];

void add(int x,int y){to[++cnt]=y;nxt[cnt]=head[x];head[x]=cnt;}

void dfs(int x,int fa)
{
	f[x][0]=fa;
	dep[x]=dep[fa]+1;
	for(int i=1;i<20;++i)
        f[x][i]=f[f[x][i-1]][i-1];
	for(int i=head[x];i;i=nxt[i])
	{
		if(to[i]==fa) continue;
		dfs(to[i],x);
	}
}

int lca(int x,int y)
{
	if(dep[x]<dep[y]) swap(x,y);
	for(int i=25;i>=0;i--) if(dep[f[x][i]]>=dep[y]) x=f[x][i];
	if(x==y) return x;
	for(int i=25;i>=0;i--) if(f[x][i]!=f[y][i]) x=f[x][i],y=f[y][i];
	return f[x][0];
}

void pushup(int k)
{
	if(t[t[k].ls].mx>=t[t[k].rs].mx)
        t[k].mx=t[t[k].ls].mx,t[k].sum=t[t[k].ls].sum;
    else if(t[t[k].ls].mx<t[t[k].rs].mx)
        t[k].mx=t[t[k].rs].mx,t[k].sum=t[t[k].rs].sum;
}

void update(int &rt,int l,int r,int x,int v)
{
	if(!rt) rt=++cnt;
	if(l==r) {t[rt].mx+=v,t[rt].sum=x;return;}
	int mid=(l+r)/2;
	if(x<=mid) update(t[rt].ls,l,mid,x,v);
	else update(t[rt].rs,mid+1,r,x,v);
	pushup(rt);
}

void merge(int &p,int q,int l,int r)
{
	if(!p||!q) {p=p+q;return;}
	if(l==r) {t[p].mx+=t[q].mx;return;}
	int mid=(l+r)/2;
	merge(t[p].ls,t[q].ls,l,mid),merge(t[p].rs,t[q].rs,mid+1,r);
	pushup(p);
}

void calc(int x,int fa)
{
	for(int i=head[x];i;i=nxt[i])
	{
		if(to[i]==fa) continue;
		calc(to[i],x);
		merge(rot[x],rot[to[i]],1,mxr);
	}
	if(t[rot[x]].mx>0) ans[x]=t[rot[x]].sum;
}

int main()
{
	int n,m;cin>>n>>m;
	for(int i=1;i<n;i++)
	{
		int a,b;cin>>a>>b;
		add(a,b);add(b,a);
	} 
	cnt=0;
	dfs(1,0);
	while(m--)
	{
		int x,y,z;cin>>x>>y>>z;
		int tmp=lca(x,y);
		update(rot[x],1,mxr,z,1);
        update(rot[y],1,mxr,z,1);
        update(rot[tmp],1,mxr,z,-1);
        update(rot[f[tmp][0]],1,mxr,z,-1);	
    }
    calc(1,0);
	for(int i=1;i<=n;i++) cout<<ans[i]<<endl;
	return 0;
}

来自雨天的尾巴 /【模板】线段树合并

这段程序存在倍增数组越界,我们用 g++ -o a a.cpp -fsanitize=address

测试结果:runtime error: index 25 out of bounds for type 'int [25]'

剩下的之后再写。

相关推荐
success13 分钟前
【爆刷力扣-数组】二分查找 及 衍生题型
算法
Orlando cron1 小时前
数据结构入门:链表
数据结构·算法·链表
牛客企业服务2 小时前
2025年AI面试推荐榜单,数字化招聘转型优选
人工智能·python·算法·面试·职场和发展·金融·求职招聘
糖葫芦君2 小时前
Policy Gradient【强化学习的数学原理】
算法
向阳@向远方4 小时前
第二章 简单程序设计
开发语言·c++·算法
github_czy5 小时前
RRF (Reciprocal Rank Fusion) 排序算法详解
算法·排序算法
许愿与你永世安宁5 小时前
力扣343 整数拆分
数据结构·算法·leetcode
爱coding的橙子5 小时前
每日算法刷题Day42 7.5:leetcode前缀和3道题,用时2h
算法·leetcode·职场和发展
满分观察网友z6 小时前
从一次手滑,我洞悉了用户输入的所有可能性(3330. 找到初始输入字符串 I)
算法
YuTaoShao6 小时前
【LeetCode 热题 100】73. 矩阵置零——(解法二)空间复杂度 O(1)
java·算法·leetcode·矩阵