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
↓ 6 callers
Function
gensym
* */
src/util.cpp:61
↓ 6 callers
Method
get_named_var
src/Variable.cpp:635
↓ 6 callers
Method
imply
* return true if this fact is lower than the other fact in lattice * i.e. merging with the other fact causes no change to this fact */
src/FactUnion.cpp:259
↓ 6 callers
Method
is_bitfield
src/Type.cpp:1340
↓ 6 callers
Method
is_related
src/Fact.h:83
↓ 6 callers
Method
is_visible_local
-------------------------------------------------------------
src/Variable.cpp:500
↓ 6 callers
Method
is_written
* */
src/Effect.cpp:370
↓ 6 callers
Function
merge_fact
TODO: we really need to free the memory properly while maintain the memory in compact way, i.e., don't allocate a Fact object unless it's absolutely n
src/Fact.cpp:159
↓ 6 callers
Method
output_condition
src/StatementIf.cpp:153
↓ 5 callers
Function
GenerateRandomConstant
src/Constant.cpp:299
↓ 5 callers
Method
Output
--------------------------------------------------------------
src/ArrayVariable.cpp:562
↓ 5 callers
Method
check_and_set_cast
src/Expression.cpp:233
↓ 5 callers
Function
find_function_in_set
src/Function.cpp:115
↓ 5 callers
Method
get_expr
src/StatementAssign.h:104
↓ 5 callers
Method
get_last_written_fid
src/FactUnion.h:62
↓ 5 callers
Method
get_op_size
src/SafeOpFlags.h:82
↓ 5 callers
Method
indirect_qualifiers
src/CVQualifiers.cpp:546
↓ 5 callers
Method
is_dead
src/FactPointTo.cpp:87
↓ 5 callers
Method
is_inside_union_field
src/Variable.h:97
↓ 5 callers
Method
is_rv
src/Variable.h:105
↓ 5 callers
Method
is_var_on_stack
return true is var is local variable of this block or parent block, * or var is parameter of function */
src/Block.cpp:502
↓ 5 callers
Method
loose_match
* examples: array[0] "loose matches" array[1]; array[3] "loose matches" array[x].f1... * union.f1 "loose matches" union.f2.f3 */
src/Variable.cpp:228
↓ 5 callers
Method
next
src/Enumerator.h:314
↓ 5 callers
Method
not_equals
src/Constant.cpp:494
↓ 5 callers
Method
output_qualified_type
--------------------------------------------------------------
src/Variable.cpp:748
↓ 5 callers
Method
output_runtime_value
src/Variable.cpp:1036
↓ 4 callers
Method
GenerateBody
* */
src/Function.cpp:628
↓ 4 callers
Method
Output
* */
src/StatementArrayOp.cpp:245
↓ 4 callers
Function
OutputArrayCtrlVars
--------------------------------------------------------------
src/Variable.cpp:849
↓ 4 callers
Method
OutputDef
--------------------------------------------------------------
src/Variable.cpp:670
↓ 4 callers
Method
add_back_return_facts
* add back return_facts for skipped statement (see validate_and_update_facts) */
src/Statement.cpp:543
↓ 4 callers
Method
add_bool_elem
src/Enumerator.h:200
↓ 4 callers
Method
add_index
src/ArrayVariable.cpp:227
↓ 4 callers
Method
add_number
src/LinearSequence.cpp:66
↓ 4 callers
Method
add_operand
* */
src/FunctionInvocation.cpp:351
↓ 4 callers
Function
cluster
* if baseline is true then we just leave out the subset totally */
tamer/gonzalez.c:263
↓ 4 callers
Method
equal
src/Fact.h:85
↓ 4 callers
Method
equals
src/Constant.cpp:500
↓ 4 callers
Function
expand_within_ranges
* given a multi-dimensional array sizes, expand it into all possible array indices * for example: a (2, 2, 2) array will be expanded into the followi
src/util.cpp:120
↓ 4 callers
Function
find_stm_in_set
src/Statement.cpp:183
↓ 4 callers
Method
get_direct_invocation
* find all the functions directly called in this statement */
src/Statement.cpp:760
↓ 4 callers
Method
get_exprs
src/StatementIf.h:58
↓ 4 callers
Method
get_indirect_level
* */
src/ExpressionVariable.cpp:186
↓ 4 callers
Method
has_assign_ops
src/Type.h:259
↓ 4 callers
Method
initialize
src/Probabilities.cpp:219
↓ 4 callers
Method
is_argument
--------------------------------------------------------------
src/Variable.cpp:527
↓ 4 callers
Method
is_const_after_deref
src/Variable.cpp:554
↓ 4 callers
Method
is_field_var
src/Variable.h:92
↓ 4 callers
Method
is_read_partially
src/Effect.cpp:495
↓ 4 callers
Method
is_var_used
src/Reducer.cpp:1253
↓ 4 callers
Method
match
* a struct variable "matches" it's field variable */
src/Variable.cpp:245
↓ 4 callers
Method
must_return
src/StatementIf.cpp:215
↓ 4 callers
Method
output_expr
src/Reducer.cpp:1352
↓ 4 callers
Function
output_var
src/FactPointTo.cpp:640
↓ 4 callers
Method
sanity_check
* */
src/CGContext.cpp:706
↓ 4 callers
Method
sequence_length
src/LinearSequence.cpp:104
↓ 4 callers
Method
set_prob
src/Probabilities.cpp:134
↓ 4 callers
Method
set_value
src/DFSRndNumGenerator.cpp:63
↓ 4 callers
Method
set_volatile
src/CVQualifiers.cpp:646
↓ 4 callers
Method
setup_in_out_maps
src/FactMgr.cpp:216
↓ 4 callers
Method
value
src/DFSRndNumGenerator.cpp:62
↓ 4 callers
Method
visit_facts
src/Lhs.cpp:325
↓ 4 callers
Method
write_var
src/Effect.cpp:157
↓ 3 callers
Method
Output
* */
src/StatementIf.cpp:146
↓ 3 callers
Method
OutputAsExpr
* */
src/StatementAssign.cpp:511
↓ 3 callers
Method
OutputAssertion
* output an assertion about the fact to check the correctness of compiler * or generation time analysis */
src/Fact.cpp:69
↓ 3 callers
Function
OutputForwardDeclarations
* */
src/Function.cpp:848
↓ 3 callers
Method
OutputSize
src/SafeOpFlags.cpp:248
↓ 3 callers
Function
OutputStandardFuncName
* */
src/FunctionInvocationUnary.cpp:180
↓ 3 callers
Function
OutputStructUnionDeclarations
--------------------------------------------------------------------- print all struct definitions (fields etc) *************************************
src/Type.cpp:1933
↓ 3 callers
Function
RandomGlobalName
///////////////////////////////////////////////////////////////////////// --------------------------------------------------------------
src/VariableSelector.cpp:139
↓ 3 callers
Function
add_variables_to_set
src/Variable.cpp:140
↓ 3 callers
Method
add_visible_effect
* */
src/CGContext.cpp:459
↓ 3 callers
Function
calc_total
src/Bookkeeper.cpp:558
↓ 3 callers
Function
checkImplicitNontrivialAssignOps
src/Type.cpp:266
↓ 3 callers
Method
check_read_var
* */
src/CGContext.cpp:230
↓ 3 callers
Method
check_write_var
* */
src/CGContext.cpp:364
↓ 3 callers
Method
compatible
src/Lhs.cpp:376
↓ 3 callers
Function
dot
tamer/gonzalez.c:438
↓ 3 callers
Method
find_binary_operations
src/Reducer.cpp:720
↓ 3 callers
Function
find_block_by_id
//////////////////////////////////////////////////////////////////////////
src/Block.cpp:71
↓ 3 callers
Method
find_contained_labels
src/Statement.cpp:737
↓ 3 callers
Method
find_pointer_fields
src/Variable.cpp:1312
↓ 3 callers
Method
get_array
src/Variable.cpp:645
↓ 3 callers
Method
get_body
src/StatementFor.h:69
↓ 3 callers
Method
get_field_id
src/Variable.cpp:327
↓ 3 callers
Method
get_init
src/StatementFor.h:66
↓ 3 callers
Method
get_key
src/ProbabilityTable.h:49
↓ 3 callers
Method
get_last_stm
find the last effective statement for this block, note * a return statement terminates the block before reaching the * the last statement */
src/Block.cpp:323
↓ 3 callers
Method
get_op1_sign
src/SafeOpFlags.h:78
↓ 3 callers
Method
get_prob_direct
src/Probabilities.cpp:120
↓ 3 callers
Function
get_return_fact_for_invocation
src/FunctionInvocationUser.cpp:77
↓ 3 callers
Method
get_test
src/StatementIf.h:63
↓ 3 callers
Method
is_access_once
src/Variable.h:87
↓ 3 callers
Method
is_array_field
* return if this is the field of an array member */
src/Variable.cpp:265
↓ 3 callers
Method
is_dereferenced_from
--------------------------------------------------------------------- return true if this type can be derived from the given type * by dereferencing
src/Type.cpp:1545
↓ 3 callers
Method
is_null
src/FactPointTo.cpp:69
↓ 3 callers
Method
is_union_field
src/Variable.h:96
↓ 3 callers
Method
is_var_visible
find whether a variable is visible in the given statement */
src/Function.cpp:171
↓ 3 callers
Method
is_virtual
* return if this is the field of an pre-itemized array member */
src/Variable.cpp:277
← previous
next →
101–200 of 1,599, ranked by callers