Valgrind
From MaRDI portal
Cited in
(only showing first 100 items - show all)- CADNA
- GILK
- Grail
- LANGAGE
- DANTON
- PAYNT
- libunistring
- GRAMSES
- FLRWSolver
- Ghidra
- Whiley
- textX
- FocusCheck
- jContractor
- ACASH
- A program slicing-based method for effective detection of coincidentally correct test cases
- TCPDUMP
- An evaluation of point-insertion sequences for incremental Delaunay tessellations
- Parallel enumeration of triangulations
- MiBench
- AspectWerkz
- Wheeler graphs: a framework for BWT-based data structures
- A survey on design and implementation of protected searchable data in the cloud
- Capitalizing on \textit{live} variables: new algorithms for efficient Hessian computation via automatic differentiation
- LLVM
- FXT
- hfloat
- FunFrog
- TMVA
- DiSL
- VMWare
- On the infeasibility of modeling polymorphic shellcode. Re-thinking the role of learning in intrusion detection systems
- Metro
- Ibis
- BCEL
- Memory-usage advantageous block recursive matrix inverse
- White-box cryptography: don't forget about grey-box attacks
- A theory of monitors
- Automatic proofs of memory deallocation for a Whiley-to-C compiler
- Non-dominated solutions for time series learning and forecasting. Generating models with a generic two-phase Pareto loca search with VND
- SUIF
- \texttt{blocks\_3d}: software for general 3d conformal blocks
- MediaBench
- CFS++
- I'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations
- The \textsc{MergeSat} solver
- Discrete ordinates analysis of the forced-flight variance reduction technique in Monte Carlo neutral particle transport simulations
- mpiP
- PARSEC
- gmm++
- evt
- PermLib
- SymPol
- ESBMC
- CCured
- Insure++
- RE2
- FAdo
- GUItar
- Ordered line integral methods for solving the eikonal equation
- Cachegrind
- hess_pat
- edge_push_sp
- Crypto++
- G-Tries: a data structure for storing and finding subgraphs
- BAP
- FloPSy
- Dynamic analysis of Java program concepts for visualization and profiling
- Boomerang
- InterAspect
- GDB
- CCMC
- REDD
- ``Endless workload analysis of large-scale supercomputers
- GMV
- Robust software partitioning with multiple instantiation
- Mmach
- padge
- Splint
- Gprof
- OProfile
- Verasco
- Java-MaC
- PyPI
- LIFT
- LeSiNN
- PALLOC
- GOAL
- biber
- CDSChecker
- CHESS
- NormFet
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Autograph
- Polygraph
- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
- Memory debugging of MPI-parallel applications in Open MPI
- Practical Guide to Computer Simulations
- PGFPlots
- MPTOPCOM
This page was built for software: Valgrind
