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 46 articles )

Showing results 1 to 20 of 46.
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. Gonzaga de Oliveira, Sanderson L.; Nogueira, Jéssica Renata: An evaluation of point-insertion sequences for incremental Delaunay tessellations (2018)
  3. 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)
  4. Jordan, Charles; Joswig, Michael; Kastner, Lars: Parallel enumeration of triangulations (2018)
  5. Jurgelucks, Benjamin; Claes, Leander; Walther, Andrea; Henning, Bernd: Optimization of triple-ring electrodes on piezoceramic transducers using algorithmic differentiation (2018)
  6. Gagie, Travis; Manzini, Giovanni; Sirén, Jouni: Wheeler graphs: a framework for BWT-based data structures (2017)
  7. Thomas Keck: FastBDT: A speed-optimized and cache-friendly implementation of stochastic gradient-boosted decision trees for multivariate classification (2016) arXiv
  8. Wang, Mu; Gebremedhin, Assefaw; Pothen, Alex: Capitalizing on \itlive variables: new algorithms for efficient Hessian computation via automatic differentiation (2016)
  9. Mushtaq, Hamid; Al-Ars, Zaid; Bertels, Koen: Efficent and highly portable deterministic multithreading (DetLock) (2014) ioport
  10. Ribeiro, Pedro; Silva, Fernando: G-Tries: a data structure for storing and finding subgraphs (2014)
  11. Romano, Anthony: Practical floating-point tests with integer code (2014)
  12. Ye, John; Yan, Hui; Hou, Honglun; Chen, Tianzhou: Potential thread-level-parallelism exploration with superblock reordering (2014) ioport
  13. Emeneker, Wesley; Apon, Amy: On modeling contention for shared caches in multi-core processors with techniques from ecology (2013) ioport
  14. Rahimian, Ashkan; Charland, Philippe; Preda, Stere; Debbabi, Mourad: RESource: a framework for online matching of assembly with open source code (2013) ioport
  15. Biggar, Paul; De Vries, Edsko; Gregg, David: A practical solution for achieving language compatibility in scripting language compilers (2012) ioport
  16. Chang, Feng-Cheng; Huang, Hsiang-Cheh: A refactoring method for cache-efficient swarm intelligence algorithms (2012) ioport
  17. Grinberg, Simon; Weiss, Shlomo: Architectural virtualization extensions: a systems perspective (2012) ioport
  18. Kim, Moonzoo; Kim, Yunho; Choi, Yunja: Concolic testing of the multi-sector Read operation for flash storage platform software (2012) ioport
  19. Mühlberg, Jan Tobias; Lüttgen, Gerald: Verifying compiled file system code (2012) ioport
  20. Spacey, Simon A.; Wiesemann, Wolfram; Kuhn, Daniel; Luk, Wayne: Robust software partitioning with multiple instantiation (2012)

1 2 3 next