瓦尔格林德 swMATH ID: 4420 软件作者： Cerion Armour Brown、Jeremy Fitzhardinge、Tom Hughes、Nicholas Nethercote、Paul Mackerras、Dirk Mueller、Julian Seward、Bart Van Assche、Robert Walsch、Josef Weidendorfer 描述： Valgrind是一个用于构建动态分析工具的工具框架。有一些Valgrind工具可以自动检测许多内存管理和线程错误，并详细分析程序。您还可以使用Valgrind构建新工具。Valgrind发行版目前包括六个生产质量工具：一个内存错误检测器、两个线程错误检测器、一个缓存和分支预测分析器、一个生成缓存和分支描述分析器的call-graph，以及一个堆分析器。它还包括三个实验工具：一个堆/堆栈/全局数组溢出检测器，一个检查堆块如何使用的第二个堆分析器，以及一个SimPoint基本块向量生成器。它在以下平台上运行：X86/Linux、AMD64/Linux、ARM/Linux、PPC32/Linux、PPC64/Linux、S390X/Linux、ARM/Android（2.3.x）、X86/Darwin和AMD64/Darwin（Mac OS x 10.6和10.7）。 主页： 网址：http://www.valgrind.org/ 操作系统： X86/Linux、AMD64/Linux、ARM/Linux、PPC32/Linux、PPC64/Linux、S390X/Linux、ARM/Android（2.3.x）、X86/达尔文和AMD64/Darwin（Mac OS x 10.6和10.7） 相关软件： ADOL-C公司;有限责任公司;蟒蛇;PETSc公司;github;CUDA公司;ParaView视图;吉隆坡机场;z3（零3）;MUMPS公司;JML公司;GDB公司;MiBench公司;自旋蛋白;CBMC公司;艾根;SMT-LIB公司;PyPI公司;数字Py;马特普洛特利布 引用于： 45文件 全部的 前5名128位作者引用 2 本杰明·贾吉勒克斯 2 安德烈亚·沃尔特 1 帕克·阿伯克龙比 1 爱沙华多阿尔皮雷斯·博克 1 萨尔瓦多奥里埃马 1 沃尔夫冈·班杰斯 1 姆拉丹·巴诺维奇 1 伯恩德·比施尔 1 克里斯蒂安·比肖夫。 1 朱斯特纳博尔科夫斯卡 1 Joppe W.Bos。 1 克里斯·布尔祖斯卡 1 雷纳·布奇蒂 1 卡梅隆、玛丽亚·库尔金娜 1 雷扎尔·阿拉姆·乔杜里 1 Claes，Leander公司 1 科埃略，维托·纳萨里奥 1 埃斯特·科米拉斯 1 伊丽亚·科斯姆（Iria C.S.Cosme）。 1 德博舍尔，科恩 1 德卡瓦略，乔昂·L。 1 帕特里克·德·斯梅特 1 巴特·德梅恩 1 丹尼，乔尔·E。 1 拉斐尔·道斯利 1 伊利耶斯·法尔科内 1 范世清 1 艾萨克·费尔南德斯（Isaac F.Fernandes）。 1 Jean-Claude费尔南德斯 1 费兹·法里德 1 阿德里安·弗兰卡兰扎 1 崔维斯·盖吉 1 尼古拉斯·戈格（Nicolas R.Gauger）。 1 阿瑟夫·哈迪什·盖布雷梅欣 1 Gonzaga de Oliveira，Sanderson L。 1 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 1 亚历克斯·格罗斯 1 阿尔蒂·古普塔 1 亚历山大·哈特曼。 1 伯恩德·亨宁 1 苏珊·霍维茨 1 查尔斯·胡班 1 亚历山大·哈克 1 查尔斯·乔丹 1 拉杰夫·乔希 1 迈克尔·乔斯维格 1 穆拉特·卡拉曼 1 沃尔夫冈·卡尔 1 拉斯·卡斯特纳 1 雷纳·凯勒 1 Angelos D.Keromytis。 1 布莱恩·基德罗夫斯基（Brian C.Kiedrowski）。 1 约翰内斯·金德 1 克里斯·柯克汉姆 1 科诺诺夫，A.I。 1 Igor N.Konshin。 1 Koochaksaraei、Roozbeh Haghnazar 1 尼古拉·科马托夫 1 Jens Krinke 1 丹尼尔·库恩 1 Joel A.Kulesza。 1 马塞尔·昆泽 1 埃里克·拉鲁 1 赫夫·罗格朗 1 Michael E.洛卡斯特。 1 弗雷德里克·卢勒格 1 卢克，韦恩 1 莉·达拉 1 马利克，罗比 1 布莱恩·马洛伊（Brian A.Malloy）。 1 诺伯特·曼恩 1 乔瓦尼·曼齐尼 1 安东尼斯·米查拉斯 1 威尔·米歇尔斯 1 劳伦特·穆尼尔 1 缪勒，延斯·多米尼克 1 克里斯托法罗·穆内 1 俄勒冈州米哈斯基 1 拉维·奈尔 1 瓦伦丁·尼斯 1 杰西卡·雷娜塔·诺盖拉 1 费边·诺瓦克 1 帕达良，V.A。 1 尼古拉·帕拉迪 1 赛义德·帕萨 1 Jean-Paul，Pelteret 1 吉尔伯托·佩雷斯 1 亚历克斯·波顿 1 塞缪尔·波特。 1 维贾亚·拉马钱德兰 1 迈克尔·M·雷斯（Michael M.Resch）。 1 佩德罗·里贝罗 1 Jean-Luc Richier先生 1 Roukema，Boudewijn F。 1 吕加默，大卫 1 肖恩·鲁尔 1 马克斯·萨吉巴姆 1 埃洛伊Sanfelix Gonzalez 1 丹尼尔·沙克 1 Shvets，P.A.公司。 …还有28位作者 全部的 前5名30篇连载文章中引用 4 系统设计中的形式化方法 3 优化方法和软件 2 计算机程序设计科学 1 经典引力和量子引力 1 计算机物理通信 1 计算物理杂志 1 应用数学与计算 1 计算 1 编程和计算机软件 1 理论计算机科学 1 并行计算 1 国际并行程序设计杂志 1 信息与计算 1 密码学杂志 1 科学计算杂志 1 机器学习 1 模式识别 1 Mathematica Montisnigri公司 1 计算与应用数学 1 组合数学电子杂志 1 信息计算杂志 1 计算系统理论 1 数据挖掘与知识发现 1 欧洲力学杂志。A.固体 1 洛巴切夫斯基数学杂志 1 逻辑程序设计理论与实践 1 优化信函 1 数学规划计算 1 计算与图形统计杂志 1 计算机科学评论 全部的 前5名18个领域被引用 34 计算机科学（68至XX） 9 数值分析（65-XX） 5 运筹学、数学规划（90-XX） 3 可变形固体力学（74-XX） 2 变分法与最优控制；最优化（49至XX） 2 凸和离散几何（52至XX） 2 统计学（62-XX） 2 流体力学（76-XX） 2 地球物理学（86-XX） 1 总体主题；集合（00-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 偏微分方程（35-XX） 1 整体分析，流形分析（58至XX） 1 统计力学，物质结构（82-XX） 1 相对论和引力理论（83至XX） 1 天文学和天体物理学（85-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文