C/C++源代码因其手动分配堆内存的特点,造成大量内存泄漏的问题。对于多分支的控制流结构,其内存分配点和释放点具有不确定性,使得内存泄漏检测的难度增大。针对这种复杂控制流中的内存泄漏问题,定义了一种基于路径抽象的内存泄漏分类方...C/C++源代码因其手动分配堆内存的特点,造成大量内存泄漏的问题。对于多分支的控制流结构,其内存分配点和释放点具有不确定性,使得内存泄漏检测的难度增大。针对这种复杂控制流中的内存泄漏问题,定义了一种基于路径抽象的内存泄漏分类方法,提出了一种基于投影的模型检测静态分析算法。该算法采用投影技术将原控制流图进行规约和简化;同时,在进行函数间的分析时,融合了Cloning Expands the ICFG和Expanded Supergraph两种方法,构建了一个函数间的内存定义-使用控制流图(Interprocedural Memory Control Flow Graph,IMCFG)。实验表明,该检测方法在有效性和准确率方面明显取得了较好的结果。展开更多
文摘C/C++源代码因其手动分配堆内存的特点,造成大量内存泄漏的问题。对于多分支的控制流结构,其内存分配点和释放点具有不确定性,使得内存泄漏检测的难度增大。针对这种复杂控制流中的内存泄漏问题,定义了一种基于路径抽象的内存泄漏分类方法,提出了一种基于投影的模型检测静态分析算法。该算法采用投影技术将原控制流图进行规约和简化;同时,在进行函数间的分析时,融合了Cloning Expands the ICFG和Expanded Supergraph两种方法,构建了一个函数间的内存定义-使用控制流图(Interprocedural Memory Control Flow Graph,IMCFG)。实验表明,该检测方法在有效性和准确率方面明显取得了较好的结果。
文摘目的:建立并验证检测食蟹猴血清中游离IgE和总IgE浓度的酶联免疫吸附试验(enzymelinked immunosorbent assay,ELISA)方法。方法:游离IgE和总IgE浓度的检测均采用夹心法。采用FcεRI作为捕获试剂,并采用生物素标记的抗IgE多抗作为检测试剂进行游离IgE浓度的测定;对于总IgE的检测,捕获和检测试剂均为抗IgE多抗。该研究对检测方法的关键参数进行了优化并对该方法进行定量范围、精密度、准确度、回收率、稳定性、方法特异性、药物干扰试验等方面的方法学验证。结果:游离IgE和总IgE的定量范围均在6.25~400 ng·m L-1,标准曲线样品复孔间变异(精密度,coefficient of variation,CV%)不超过20%,其中定量上限(upper limit of quantitation,ULOQ)和定量下限(lower limit of quantitation,LLOQ)不超过25%。相对偏差(relative deviation,RE%)不超过±20%,ULOQ和LLOQ不超过±25%。游离IgE检测方法的批内、批间精密度分别在0.87%~9.15%和4.27%~6.50%;检测总IgE方法的批内、批间精密度分别在0.92%~11.60%和7.21%~17.89%;游离IgE的回收率在76.53%~88.85%;总IgE的回收率分别在72.77%~86.93%。干扰试验结果表明,奥马珠单抗不影响总IgE的回收率水平。然而在游离IgE检测中,奥马珠单抗浓度的升高可以显著降低游离IgE的回收率水平。结论:本研究建立的食蟹猴血清中游离IgE和总IgE浓度的检测方法,可用于食蟹猴血清中游离IgE和总IgE浓度测定,为抗IgE抗体的临床前评价提供重要的数据支持。
