Valgrind

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).


References in zbMATH (referenced in 48 articles )

Showing results 1 to 20 of 48.
Sorted by year (citations)

1 2 3 next

  1. Banović, Mladen; Mykhaskiv, Orest; Auriemma, Salvatore; Walther, Andrea; Legrand, Herve; Müller, Jens-Dominik: Algorithmic differentiation of the Open CASCADE technology CAD kernel and its coupling with an adjoint CFD solver (2018)
  2. Feyzi, Farid; Parsa, Saeed: A program slicing-based method for effective detection of coincidentally correct test cases (2018)
  3. Gonzaga de Oliveira, Sanderson L.; Nogueira, Jéssica Renata: An evaluation of point-insertion sequences for incremental Delaunay tessellations (2018)
  4. Hück, Alexander; Bischof, Christian; Sagebaum, Max; Gauger, Nicolas R.; Jurgelucks, Benjamin; Larour, Eric; Perez, Gilberto: A usability case study of algorithmic differentiation tools on the ISSM ice sheet model (2018)
  5. Jordan, Charles; Joswig, Michael; Kastner, Lars: Parallel enumeration of triangulations (2018)
  6. Jurgelucks, Benjamin; Claes, Leander; Walther, Andrea; Henning, Bernd: Optimization of triple-ring electrodes on piezoceramic transducers using algorithmic differentiation (2018)
  7. Gagie, Travis; Manzini, Giovanni; Sirén, Jouni: Wheeler graphs: a framework for BWT-based data structures (2017)
  8. Thomas Keck: FastBDT: A speed-optimized and cache-friendly implementation of stochastic gradient-boosted decision trees for multivariate classification (2016) arXiv
  9. Wang, Mu; Gebremedhin, Assefaw; Pothen, Alex: Capitalizing on \itlive variables: new algorithms for efficient Hessian computation via automatic differentiation (2016)
  10. Mushtaq, Hamid; Al-Ars, Zaid; Bertels, Koen: Efficent and highly portable deterministic multithreading (DetLock) (2014) ioport
  11. Ribeiro, Pedro; Silva, Fernando: G-Tries: a data structure for storing and finding subgraphs (2014)
  12. Romano, Anthony: Practical floating-point tests with integer code (2014)
  13. Ye, John; Yan, Hui; Hou, Honglun; Chen, Tianzhou: Potential thread-level-parallelism exploration with superblock reordering (2014) ioport
  14. Emeneker, Wesley; Apon, Amy: On modeling contention for shared caches in multi-core processors with techniques from ecology (2013) ioport
  15. Rahimian, Ashkan; Charland, Philippe; Preda, Stere; Debbabi, Mourad: RESource: a framework for online matching of assembly with open source code (2013) ioport
  16. Biggar, Paul; De Vries, Edsko; Gregg, David: A practical solution for achieving language compatibility in scripting language compilers (2012) ioport
  17. Chang, Feng-Cheng; Huang, Hsiang-Cheh: A refactoring method for cache-efficient swarm intelligence algorithms (2012) ioport
  18. Grinberg, Simon; Weiss, Shlomo: Architectural virtualization extensions: a systems perspective (2012) ioport
  19. Kim, Moonzoo; Kim, Yunho; Choi, Yunja: Concolic testing of the multi-sector Read operation for flash storage platform software (2012) ioport
  20. Mühlberg, Jan Tobias; Lüttgen, Gerald: Verifying compiled file system code (2012) ioport

1 2 3 next