×

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

Citations by Year