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; CUDA; KLEE; z3; Python; GDB; PETSc; MiBench; SPIN; GitHub; CBMC; SMT-LIB; Doxygen; ParaView; SUNDIALS; Trilinos; VisIt; STP; CCured Cited in: 41 Publications all top 5 Cited by 118 Authors 2 Jurgelucks, Benjamin 2 Walther, Andrea 1 Abercrombie, Parker 1 Alpirez Bock, Estuardo 1 Auriemma, Salvatore 1 Bangerth, Wolfgang 1 Banović, Mladen 1 Bischof, Christian H. 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 Krinke, Jens 1 Kuhn, Daniel 1 Kulesza, Joel A. 1 Kunze, Marcel 1 Larour, Eric 1 Legrand, Herve 1 Locasto, Michael E. 1 Luk, Wayne 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 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 Rul, Sean 1 Sagebaum, Max 1 Sanfelix Gonzalez, Eloi 1 Shvets, P. A. 1 Silva, Fernando 1 Singer, Jeremy 1 Sirén, Jouni 1 Solomon, Clell J. 1 Solov’ev, Mikhaĭl Aleksandrovich 1 Song, Yingbo 1 Spacey, Simon A. 1 Stavrou, Angelos 1 Stolfo, Salvatore J. ...and 18 more Authors all top 5 Cited in 27 Serials 4 Formal Methods in System Design 3 Optimization Methods & Software 2 Science of Computer Programming 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 Computer Science Review all top 5 Cited in 15 Fields 32 Computer science (68-XX) 9 Numerical analysis (65-XX) 6 Operations research, mathematical programming (90-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Convex and discrete geometry (52-XX) 2 Mechanics of deformable solids (74-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 Statistics (62-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year