MCPcopy Create free account

hub / github.com/csmith-project/csmith / functions

Functions1,599 in github.com/csmith-project/csmith

Methodindented_output
src/Expression.cpp:148
Methodindex
src/DFSRndNumGenerator.cpp:69
Methodinit
src/DeltaMonitor.cpp:124
Methodinit_fields_enumerator
src/Type.cpp:832
Methodinit_for_running
src/DeltaMonitor.cpp:142
Methodinit_is_bitfield_enumerator
src/Type.cpp:815
Methodinit_map
src/PartialExpander.cpp:53
Methodinit_partial_expander
src/PartialExpander.cpp:65
Methodinit_reducer
src/CGOptions.h:385
Methodinit_sequence
src/SimpleDeltaSequence.cpp:129
Methodinit_states
src/DFSRndNumGenerator.cpp:405
Methodinitialize
src/ProbabilityTable.h:104
Methodinitialize
src/DFSProgramGenerator.cpp:67
Methodinitialize
src/DefaultProgramGenerator.cpp:64
Methodinitialize_builtin_functions
src/Function.cpp:705
Methodinitialize_group_probs
src/Probabilities.cpp:619
Methodinitialize_single_probs
src/Probabilities.cpp:535
Methodint2str
src/StringUtils.cpp:189
Methodint_size
src/CGOptions.h:451
Methodint_size
src/CGOptions.cpp:374
Methodis_0_or_1
src/FunctionInvocationBinary.cpp:190
Methodis_0_or_1
src/FunctionInvocation.h:164
Methodis_0_or_1
src/ExpressionFuncall.h:82
Methodis_0_or_1
src/ExpressionComma.h:65
Methodis_0_or_1
src/FunctionInvocationUnary.h:69
Methodis_0_or_1
src/Expression.h:132
Methodis_1st_stm
src/Statement.cpp:671
Methodis_aggregate
src/Variable.h:101
Methodis_assertable
src/FactPointTo.cpp:696
Methodis_assertable
output functions
src/FactUnion.h:82
Methodis_bottom
src/FactPointTo.h:81
Methodis_changed
src/Enumerator.h:107
Methodis_changed
src/Enumerator.h:291
Methodis_compound
src/Statement.h:140
Methodis_const
src/CVQualifiers.h:52
Methodis_const_after_deref
src/CVQualifiers.cpp:609
Methodis_dangling_ptr
* return true if ptr is dangling in the given context */
src/FactPointTo.cpp:499
Methodis_delta
src/DeltaMonitor.h:55
Methodis_derivable
--------------------------------------------------------------------- return true if this type can be derived from the given type * by taking address
src/Type.cpp:1565
Methodis_eligible_var
* check if a variable is eligible to be selected based on current context and * read/write + volatile + const rules */
src/VariableSelector.cpp:235
Methodis_empty
* */
src/Effect.cpp:548
Methodis_equal
src/Probabilities.h:292
Methodis_field_readable
src/FactUnion.cpp:293
Methodis_frame_var
src/CGContext.cpp:550
Methodis_global
--------------------------------------------------------------
src/ArrayVariable.cpp:427
Methodis_int
src/Type.h:263
Methodis_jump_target_from_other_blocks
src/Statement.cpp:677
Methodis_monitored_func
src/OutputMgr.cpp:84
Methodis_nonreadable_field
src/FactUnion.cpp:187
Methodis_pointing_to_locals
return true if the variable has any chance to be a local variable after dereference */
src/FactPointTo.cpp:508
Methodis_promotable
src/Type.cpp:1444
Methodis_ptr_used
src/Statement.cpp:356
Methodis_pure
src/Effect.h:62
Methodis_random
src/CGOptions.cpp:387
Methodis_replaced_var
src/Reducer.cpp:506
Methodis_return_type_float
src/FunctionInvocationBinary.cpp:196
Methodis_running
src/DeltaMonitor.h:53
Methodis_seen_name
src/Variable.cpp:1119
Methodis_space
src/StringUtils.cpp:50
Methodis_special_ptr
src/FactPointTo.h:103
Methodis_split
src/DefaultOutputMgr.cpp:242
Methodis_stm_deleted
src/Reducer.cpp:373
Methodis_storage_const
src/CVQualifiers.h:54
Methodis_storage_volatile
src/CVQualifiers.h:55
Methodis_top
lattice functions
src/FactPointTo.h:80
Methodis_top
lattice functions
src/FactUnion.h:66
Methodis_valid_ptr
* return true if ptr is either null nore dangling in the given context * tell the analyzer sometimes it's ok to dereference null/dead pointers */
src/FactPointTo.cpp:434
Methodis_valid_volatile
src/Variable.cpp:1132
Methodis_var_on_stack
src/Function.cpp:150
Methodis_variant
src/ArrayVariable.cpp:403
Methodis_visible_local
-------------------------------------------------------------
src/ArrayVariable.cpp:434
Methodis_volatile
src/CVQualifiers.h:53
Methodis_volatile_after_deref
src/CVQualifiers.cpp:620
Methoditemize_array
given a collective array, create a member out of induction variables in the context */
src/VariableSelector.cpp:1402
Methodjoin
* return 1 if changed, 0 otherwise */
src/FactPointTo.cpp:577
Methodjoin_var_facts
* join facts about a list of vars, return the merged facts */
src/FactUnion.cpp:235
Methodjoin_visits
* join two facts from two visits to the same function * return 1 if changed, 0 otherwise */
src/FactPointTo.cpp:601
Methodkey_to_prob
src/Probabilities.cpp:1134
Methodkind
src/SimpleDeltaRndNumGenerator.h:66
Methodkind
src/DefaultRndNumGenerator.h:62
Methodless_than
src/Constant.cpp:488
Methodless_than
src/Expression.h:129
Methodlimit_binarys
* limit the number of binary operations by removing some simple ones */
src/ReducerOutputMgr.cpp:438
Methodlog_depth
src/DFSRndNumGenerator.cpp:390
Methodlonglong2str
src/StringUtils.cpp:222
Methodlower_block_for_vars
* enlarge the block to contains all variables in the list. This is used to create * itemized array variable */
src/VariableSelector.cpp:784
Functionmain
tamer/gonzalez.c:394
Functionmain
tamer/lev.c:109
Functionmain
----------------------------------------------------------------------------
src/RandomProgramGenerator.cpp:351
Methodmake_all_rndnum_generators
src/RandomNumber.cpp:59
Methodmake_all_struct_types
src/Type.cpp:1050
Methodmake_all_struct_types_
src/Type.cpp:958
Methodmake_all_struct_types_with_bitfields
src/Type.cpp:973
Methodmake_all_struct_union_types
src/Type.cpp:1077
Methodmake_binary
* Build an "invocation" of a binary operation. */
src/FunctionInvocation.cpp:559
Methodmake_builtin_function
src/Function.cpp:741
Methodmake_dummy_block
src/Block.cpp:101
Methodmake_dummy_flags
src/SafeOpFlags.cpp:74
Methodmake_dummy_static_variable
src/VariableSelector.cpp:1514
Methodmake_fact
src/FactPointTo.cpp:312
← previousnext →1,101–1,200 of 1,599, ranked by callers