Here is a list of all functions with links to the files they belong to:

- k -

• k_induction_parallel_conflicts() : driver.cpp
• kcalloc() : kernel.c
• keccak256() : solidity_crypto.c
• keeps_type() : converter_expr.cpp
• kfree() : slab.h, kernel.c
• kmalloc() : slab.h, kernel.c
• kmalloc_array() : kernel.c
• known_pins_table() : plcopen_xml_parser.cpp
• kpath_atoms_comparison_unsat() : goto_coverage.cpp