cprover
|
Count effective lines of code. More...
#include "count_eloc.h"
#include <iostream>
#include <unordered_set>
#include <util/file_util.h>
#include <util/pointer_offset_size.h>
#include <util/prefix.h>
#include <goto-programs/cfg.h>
#include <goto-programs/goto_model.h>
#include <linking/static_lifetime_init.h>
Go to the source code of this file.
Typedefs | |
typedef std::unordered_set< irep_idt > | linest |
typedef std::unordered_map< irep_idt, linest > | filest |
typedef std::unordered_map< irep_idt, filest > | working_dirst |
Functions | |
static void | collect_eloc (const goto_modelt &goto_model, working_dirst &dest) |
void | count_eloc (const goto_modelt &goto_model) |
void | list_eloc (const goto_modelt &goto_model) |
void | print_path_lengths (const goto_modelt &goto_model) |
void | print_global_state_size (const goto_modelt &goto_model) |
Count effective lines of code.
Definition in file count_eloc.cpp.
Definition at line 29 of file count_eloc.cpp.
Definition at line 28 of file count_eloc.cpp.
typedef std::unordered_map<irep_idt, filest> working_dirst |
Definition at line 30 of file count_eloc.cpp.
|
static |
Definition at line 32 of file count_eloc.cpp.
References forall_goto_functions, forall_goto_program_instructions, and goto_modelt::goto_functions.
Referenced by count_eloc(), and list_eloc().
void count_eloc | ( | const goto_modelt & | goto_model | ) |
Definition at line 50 of file count_eloc.cpp.
References collect_eloc().
Referenced by goto_instrument_parse_optionst::doit().
void list_eloc | ( | const goto_modelt & | goto_model | ) |
Definition at line 64 of file count_eloc.cpp.
References collect_eloc(), concat_dir_file(), and id2string().
Referenced by goto_instrument_parse_optionst::doit().
void print_global_state_size | ( | const goto_modelt & | goto_model | ) |
Definition at line 149 of file count_eloc.cpp.
References object_descriptor_exprt::build(), CPROVER_PREFIX, goto_functionst::function_map, irept::get_bool(), symbol_exprt::get_identifier(), goto_modelt::goto_functions, has_prefix(), irept::id(), id2string(), INITIALIZE_FUNCTION, symbolt::is_macro, symbolt::is_type, code_assignt::lhs(), symbolt::name, pointer_offset_bits(), object_descriptor_exprt::root_object(), goto_modelt::symbol_table, symbol_table_baset::symbols, to_code_assign(), to_symbol_expr(), and symbolt::type.
Referenced by goto_instrument_parse_optionst::doit().
void print_path_lengths | ( | const goto_modelt & | goto_model | ) |
Definition at line 81 of file count_eloc.cpp.
References goto_functionst::entry_point(), forall_goto_functions, forall_goto_program_instructions, goto_functionst::function_map, goto_modelt::goto_functions, and goto_programt::instructions.
Referenced by goto_instrument_parse_optionst::doit().