The Valgrind distribution has multiple tools. The most popular is the memory checking tool (called Memcheck) which can detect many common memory errors such as:
*
touching memory you shouldn t (eg. overrunning heap block boundaries)
*
using values before they have been initialized
*
incorrect freeing of memory, such as double-freeing heap blocks
*
memory leaks.
C-Talk is interpreted scripting language with C-like syntax and dynamic type checking. Variables in C-Talk have no type. So there is no compile time type checking in C-Talk, all checking is performed at runtime. To preserve reference integrity, explicit memory deallocation is prohibited in C-Talk, unused objects are automatically deallocated by garbage collector.
