Valgrind swMATH ID: 4420 Software Authors: Cerion Armour Brown, Jeremy Fitzhardinge, Tom Hughes, Nicholas Nethercote, Paul Mackerras, Dirk Mueller, Julian Seward, Bart Van Assche, Robert Walsch, Josef Weidendorfer Description: Valgrind is an instrumentation framework for building dynamic analysis tools. There are Valgrind tools that can automatically detect many memory management and threading bugs, and profile your programs in detail. You can also use Valgrind to build new tools. The Valgrind distribution currently includes six production-quality tools: a memory error detector, two thread error detectors, a cache and branch-prediction profiler, a call-graph generating cache and branch-prediction profiler, and a heap profiler. It also includes three experimental tools: a heap/stack/global array overrun detector, a second heap profiler that examines how heap blocks are used, and a SimPoint basic block vector generator. It runs on the following platforms: X86/Linux, AMD64/Linux, ARM/Linux, PPC32/Linux, PPC64/Linux, S390X/Linux, ARM/Android (2.3.x), X86/Darwin and AMD64/Darwin (Mac OS X 10.6 and 10.7). Homepage: http://www.valgrind.org/ Operating Systems: X86/Linux, AMD64/Linux, ARM/Linux, PPC32/Linux, PPC64/Linux, S390X/Linux, ARM/Android (2.3.x), X86/Darwin and AMD64/Darwin (Mac OS X 10.6 and 10.7) Related Software: ADOL-C; LLVM; Python; PETSc; GitHub; CUDA; ParaView; KLEE; z3; MUMPS; JML; GDB; MiBench; SPIN; CBMC; Eigen; SMT-LIB; PyPI; NumPy; Matplotlib Cited in: 45 Documents all top 5 Cited by 128 Authors 2 Jurgelucks, Benjamin 2 Walther, Andrea 1 Abercrombie, Parker 1 Alpirez Bock, Estuardo 1 Auriemma, Salvatore 1 Bangerth, Wolfgang 1 Banović, Mladen 1 Bischl, Bernd 1 Bischof, Christian H. 1 Borkowska, Justyna 1 Bos, Joppe W. 1 Brzuska, Chris 1 Buchty, Rainer 1 Cameron, Maria Kourkina 1 Chowdhury, Rezaul Alam 1 Claes, Leander 1 Coelho, Vitor Nazário 1 Comellas, Ester 1 Cosme, Iria C. S. 1 De Bosschere, Koen 1 de Carvalho, João L. 1 de Smet, Patrick 1 Demoen, Bart 1 Denny, Joel E. 1 Dowsley, Rafael 1 Falcone, Yliès 1 Fan, Shiqing 1 Fernandes, Isaac F. 1 Fernandez, Jean-Claude 1 Feyzi, Farid 1 Francalanza, Adrian 1 Gagie, Travis 1 Gauger, Nicolas R. 1 Gebremedhin, Assefaw Hadish 1 Gonzaga de Oliveira, Sanderson L. 1 Gopalakrishnan, Ganesh Lalitha 1 Groce, Alex 1 Gupta, Aarti 1 Hartmann, Alexander K. 1 Henning, Bernd 1 Horwitz, Susan 1 Hubain, Charles 1 Huck, Alexander 1 Jordan, Charles 1 Joshi, Rajeev 1 Joswig, Michael 1 Karaorman, Murat 1 Karl, Wolfgang 1 Kastner, Lars 1 Keller, Rainer 1 Keromytis, Angelos D. 1 Kiedrowski, Brian C. 1 Kinder, Johannes 1 Kirkham, Chris 1 Kononov, A. I. 1 Konshin, Igor N. 1 Koochaksaraei, Roozbeh Haghnazar 1 Kosmatov, Nikolai 1 Krinke, Jens 1 Kuhn, Daniel 1 Kulesza, Joel A. 1 Kunze, Marcel 1 Larour, Eric 1 Legrand, Herve 1 Locasto, Michael E. 1 Loulergue, Frédéric 1 Luk, Wayne 1 Ly, Dara 1 Malik, Robi 1 Malloy, Brian A. 1 Manthey, Norbert 1 Manzini, Giovanni 1 Michalas, Antonis 1 Michiels, Wil 1 Mounier, Laurent 1 Müller, Jens-Dominik 1 Mune, Cristofaro 1 Mykhaskiv, Orest 1 Nair, Ravi 1 Niess, Valentin 1 Nogueira, Jessica Renata 1 Nowak, Fabian 1 Padaryan, V. A. 1 Paladi, Nicolae 1 Parsa, Saeed 1 Pelteret, Jean-Paul 1 Pérez, Gilberto 1 Pothen, Alex 1 Potter, Samuel F. 1 Ramachandran, Vijaya 1 Resch, Michael M. 1 Ribeiro, Pedro 1 Richier, Jean-Luc 1 Roukema, Boudewijn F. 1 Rügamer, David 1 Rul, Sean 1 Sagebaum, Max 1 Sanfelix Gonzalez, Eloi 1 Schalk, Daniel 1 Shvets, P. A. ...and 28 more Authors all top 5 Cited in 30 Serials 4 Formal Methods in System Design 3 Optimization Methods & Software 2 Science of Computer Programming 1 Classical and Quantum Gravity 1 Computer Physics Communications 1 Journal of Computational Physics 1 Applied Mathematics and Computation 1 Computing 1 Programming and Computer Software 1 Theoretical Computer Science 1 Parallel Computing 1 International Journal of Parallel Programming 1 Information and Computation 1 Journal of Cryptology 1 Journal of Scientific Computing 1 Machine Learning 1 Pattern Recognition 1 Mathematica Montisnigri 1 Computational and Applied Mathematics 1 The Electronic Journal of Combinatorics 1 INFORMS Journal on Computing 1 Theory of Computing Systems 1 Data Mining and Knowledge Discovery 1 European Journal of Mechanics. A. Solids 1 Lobachevskii Journal of Mathematics 1 Theory and Practice of Logic Programming 1 Optimization Letters 1 Mathematical Programming Computation 1 Journal of Computational and Graphical Statistics 1 Computer Science Review all top 5 Cited in 18 Fields 34 Computer science (68-XX) 9 Numerical analysis (65-XX) 5 Operations research, mathematical programming (90-XX) 3 Mechanics of deformable solids (74-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Convex and discrete geometry (52-XX) 2 Statistics (62-XX) 2 Fluid mechanics (76-XX) 2 Geophysics (86-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Partial differential equations (35-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) 1 Astronomy and astrophysics (85-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year