Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/csmith-project/csmith
/ functions
Functions
1,599 in github.com/csmith-project/csmith
⨍
Functions
1,599
◇
Types & classes
385
Method
indented_output
src/Expression.cpp:148
Method
index
src/DFSRndNumGenerator.cpp:69
Method
init
src/DeltaMonitor.cpp:124
Method
init_fields_enumerator
src/Type.cpp:832
Method
init_for_running
src/DeltaMonitor.cpp:142
Method
init_is_bitfield_enumerator
src/Type.cpp:815
Method
init_map
src/PartialExpander.cpp:53
Method
init_partial_expander
src/PartialExpander.cpp:65
Method
init_reducer
src/CGOptions.h:385
Method
init_sequence
src/SimpleDeltaSequence.cpp:129
Method
init_states
src/DFSRndNumGenerator.cpp:405
Method
initialize
src/ProbabilityTable.h:104
Method
initialize
src/DFSProgramGenerator.cpp:67
Method
initialize
src/DefaultProgramGenerator.cpp:64
Method
initialize_builtin_functions
src/Function.cpp:705
Method
initialize_group_probs
src/Probabilities.cpp:619
Method
initialize_single_probs
src/Probabilities.cpp:535
Method
int2str
src/StringUtils.cpp:189
Method
int_size
src/CGOptions.h:451
Method
int_size
src/CGOptions.cpp:374
Method
is_0_or_1
src/FunctionInvocationBinary.cpp:190
Method
is_0_or_1
src/FunctionInvocation.h:164
Method
is_0_or_1
src/ExpressionFuncall.h:82
Method
is_0_or_1
src/ExpressionComma.h:65
Method
is_0_or_1
src/FunctionInvocationUnary.h:69
Method
is_0_or_1
src/Expression.h:132
Method
is_1st_stm
src/Statement.cpp:671
Method
is_aggregate
src/Variable.h:101
Method
is_assertable
src/FactPointTo.cpp:696
Method
is_assertable
output functions
src/FactUnion.h:82
Method
is_bottom
src/FactPointTo.h:81
Method
is_changed
src/Enumerator.h:107
Method
is_changed
src/Enumerator.h:291
Method
is_compound
src/Statement.h:140
Method
is_const
src/CVQualifiers.h:52
Method
is_const_after_deref
src/CVQualifiers.cpp:609
Method
is_dangling_ptr
* return true if ptr is dangling in the given context */
src/FactPointTo.cpp:499
Method
is_delta
src/DeltaMonitor.h:55
Method
is_derivable
--------------------------------------------------------------------- return true if this type can be derived from the given type * by taking address
src/Type.cpp:1565
Method
is_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
Method
is_empty
* */
src/Effect.cpp:548
Method
is_equal
src/Probabilities.h:292
Method
is_field_readable
src/FactUnion.cpp:293
Method
is_frame_var
src/CGContext.cpp:550
Method
is_global
--------------------------------------------------------------
src/ArrayVariable.cpp:427
Method
is_int
src/Type.h:263
Method
is_jump_target_from_other_blocks
src/Statement.cpp:677
Method
is_monitored_func
src/OutputMgr.cpp:84
Method
is_nonreadable_field
src/FactUnion.cpp:187
Method
is_pointing_to_locals
return true if the variable has any chance to be a local variable after dereference */
src/FactPointTo.cpp:508
Method
is_promotable
src/Type.cpp:1444
Method
is_ptr_used
src/Statement.cpp:356
Method
is_pure
src/Effect.h:62
Method
is_random
src/CGOptions.cpp:387
Method
is_replaced_var
src/Reducer.cpp:506
Method
is_return_type_float
src/FunctionInvocationBinary.cpp:196
Method
is_running
src/DeltaMonitor.h:53
Method
is_seen_name
src/Variable.cpp:1119
Method
is_space
src/StringUtils.cpp:50
Method
is_special_ptr
src/FactPointTo.h:103
Method
is_split
src/DefaultOutputMgr.cpp:242
Method
is_stm_deleted
src/Reducer.cpp:373
Method
is_storage_const
src/CVQualifiers.h:54
Method
is_storage_volatile
src/CVQualifiers.h:55
Method
is_top
lattice functions
src/FactPointTo.h:80
Method
is_top
lattice functions
src/FactUnion.h:66
Method
is_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
Method
is_valid_volatile
src/Variable.cpp:1132
Method
is_var_on_stack
src/Function.cpp:150
Method
is_variant
src/ArrayVariable.cpp:403
Method
is_visible_local
-------------------------------------------------------------
src/ArrayVariable.cpp:434
Method
is_volatile
src/CVQualifiers.h:53
Method
is_volatile_after_deref
src/CVQualifiers.cpp:620
Method
itemize_array
given a collective array, create a member out of induction variables in the context */
src/VariableSelector.cpp:1402
Method
join
* return 1 if changed, 0 otherwise */
src/FactPointTo.cpp:577
Method
join_var_facts
* join facts about a list of vars, return the merged facts */
src/FactUnion.cpp:235
Method
join_visits
* join two facts from two visits to the same function * return 1 if changed, 0 otherwise */
src/FactPointTo.cpp:601
Method
key_to_prob
src/Probabilities.cpp:1134
Method
kind
src/SimpleDeltaRndNumGenerator.h:66
Method
kind
src/DefaultRndNumGenerator.h:62
Method
less_than
src/Constant.cpp:488
Method
less_than
src/Expression.h:129
Method
limit_binarys
* limit the number of binary operations by removing some simple ones */
src/ReducerOutputMgr.cpp:438
Method
log_depth
src/DFSRndNumGenerator.cpp:390
Method
longlong2str
src/StringUtils.cpp:222
Method
lower_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
Function
main
tamer/gonzalez.c:394
Function
main
tamer/lev.c:109
Function
main
----------------------------------------------------------------------------
src/RandomProgramGenerator.cpp:351
Method
make_all_rndnum_generators
src/RandomNumber.cpp:59
Method
make_all_struct_types
src/Type.cpp:1050
Method
make_all_struct_types_
src/Type.cpp:958
Method
make_all_struct_types_with_bitfields
src/Type.cpp:973
Method
make_all_struct_union_types
src/Type.cpp:1077
Method
make_binary
* Build an "invocation" of a binary operation. */
src/FunctionInvocation.cpp:559
Method
make_builtin_function
src/Function.cpp:741
Method
make_dummy_block
src/Block.cpp:101
Method
make_dummy_flags
src/SafeOpFlags.cpp:74
Method
make_dummy_static_variable
src/VariableSelector.cpp:1514
Method
make_fact
src/FactPointTo.cpp:312
← previous
next →
1,101–1,200 of 1,599, ranked by callers