Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/StanfordPL/stoke
/ functions
Functions
5,085 in github.com/StanfordPL/stoke
⨍
Functions
5,085
◇
Types & classes
1,793
↓ 1 callers
Function
create_default_testcase_set
tools/args/testcases.cc:25
↓ 1 callers
Function
delete_edges
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-dot.c:59
↓ 1 callers
Function
delete_nodes
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-dot.c:51
↓ 1 callers
Function
disas_decode_encode
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed.cpp:76
↓ 1 callers
Function
disas_encode
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed.cpp:105
↓ 1 callers
Function
disas_test32
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-elf.cpp:251
↓ 1 callers
Function
disas_test64
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-elf.cpp:286
↓ 1 callers
Function
do_compress
tools/apps/stoke_testcase.cc:165
↓ 1 callers
Function
do_decompress
tools/apps/stoke_testcase.cc:188
↓ 1 callers
Method
dom
Returns true if the first basic block dominates the second; undefined for unreachable blocks. */
src/cfg/cfg.h:227
↓ 1 callers
Function
dot_obj
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-pecoff.cpp:585
↓ 1 callers
Function
dump_inst
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-dll-discovery.c:77
↓ 1 callers
Function
dump_inst
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-tables.c:70
↓ 1 callers
Function
dump_insts
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-tables.c:88
↓ 1 callers
Function
dump_operand
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-tables.c:39
↓ 1 callers
Function
emit_start
src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/tools/stoke/testcase.cpp:294
↓ 1 callers
Function
emit_stop
src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/tools/stoke/testcase.cpp:329
↓ 1 callers
Method
failed_test_case_count
Gets the number of failed test cases.
src/ext/gtest-1.7.0/src/gtest.cc:713
↓ 1 callers
Method
fallthrough_target
Returns the fallthrough target for this basic block; undefined if has_fallthrough_target() is false. */
src/cfg/cfg.h:209
↓ 1 callers
Function
find_base_path
! * Finds the base path (containing directory) of the given executable. * @param filename The file path * @return The base path */
src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/launcher/utils.c:169
↓ 1 callers
Function
find_base_path
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/udhelp.cpp:80
↓ 1 callers
Function
find_driver_name
src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/launcher/os_specific_m.c:42
↓ 1 callers
Function
find_driver_name
src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/launcher/os_specific_a.c:116
↓ 1 callers
Function
find_driver_name
src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/launcher/os_specific_b.c:131
↓ 1 callers
Function
find_line_number
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-elf.cpp:95
↓ 1 callers
Function
find_symbol_address_global
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-symbol-table.cpp:92
↓ 1 callers
Function
find_wow64_redir
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-pecoff.cpp:107
↓ 1 callers
Method
finish_init
(self)
tools/scripts/completion_generator.py:272
↓ 1 callers
Function
fopen_portable
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed.cpp:404
↓ 1 callers
Method
forwarding_enabled
Controls whether events will be forwarded to listeners_. Set to false in death test child processes.
src/ext/gtest-1.7.0/src/gtest.cc:2908
↓ 1 callers
Method
forwarding_enabled
Controls whether events will be forwarded to listeners_. Set to false in death test child processes.
src/ext/gtest-1.7.0/fused-src/gtest/gtest-all.cc:4392
↓ 1 callers
Function
free_list
examples/bansal/main.cc:38
↓ 1 callers
Function
get
src/ext/gtest-1.7.0/include/gtest/internal/gtest-tuple.h:929
↓ 1 callers
Method
get_avx_alignment
src/validator/handlers/packed_handler.h:770
↓ 1 callers
Method
get_clear
src/validator/handlers/packed_handler.h:758
↓ 1 callers
Function
get_command
()
tools/scripts/completion_generator.py:358
↓ 1 callers
Function
get_dll_version
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/udhelp.cpp:120
↓ 1 callers
Method
get_file
src/validator/error.h:39
↓ 1 callers
Method
get_input_width
src/validator/handlers/packed_handler.h:761
↓ 1 callers
Method
get_line
src/validator/error.h:35
↓ 1 callers
Method
get_loc
src/cfg/cfg.cc:24
↓ 1 callers
Method
get_message
src/validator/error.h:43
↓ 1 callers
Method
get_model
src/ext/z3/include/z3++.h:1282
↓ 1 callers
Method
get_only_one
src/validator/handlers/packed_handler.h:755
↓ 1 callers
Method
get_output_width
src/validator/handlers/packed_handler.h:764
↓ 1 callers
Method
get_support
src/validator/handlers/combo_handler.cc:22
↓ 1 callers
Method
get_uninterpreted
src/validator/handlers/packed_handler.h:752
↓ 1 callers
Method
get_usage
(self)
tools/scripts/completion_generator.py:305
↓ 1 callers
Method
global_swap_move
src/search/transforms.cc:417
↓ 1 callers
Method
handle
(self, command)
tools/scripts/completion_generator.py:58
↓ 1 callers
Method
has_error
Checks if an error message is available */
src/verifier/verifier.h:58
↓ 1 callers
Method
has_fallthrough_target
Returns true if control can pass from this basic block to another either because it is not terminated by a jump instruction or it is terminated by
src/cfg/cfg.h:203
↓ 1 callers
Method
init
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-pecoff.cpp:152
↓ 1 callers
Method
init_concrete
src/symstate/memory.cc:58
↓ 1 callers
Function
init_interesting_avx
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:659
↓ 1 callers
Function
invert_map
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-dll-discovery.c:106
↓ 1 callers
Method
is_array
\brief Return true if this sort is a Array sort. */
src/ext/z3/include/z3++.h:377
↓ 1 callers
Function
is_avx128
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:670
↓ 1 callers
Method
is_back_edge
Returns true if this edge is a back edge. */
src/cfg/cfg.h:243
↓ 1 callers
Method
is_const
\brief Return true if this expression is a constant (i.e., an application with 0 arguments). */
src/ext/z3/include/z3++.h:514
↓ 1 callers
Method
is_datatype
\brief Return true if this sort is a Datatype sort. */
src/ext/z3/include/z3++.h:381
↓ 1 callers
Method
is_entry
Returns true if this is the entry block. */
src/cfg/cfg.h:148
↓ 1 callers
Method
is_finite_domain
\brief Return true if this sort is a Finite domain sort. */
src/ext/z3/include/z3++.h:389
↓ 1 callers
Method
is_fixed
Returns true if this bit has a fixed value. */
src/state/rflags.h:76
↓ 1 callers
Function
is_hex_string
src/disassembler/disassembler.cc:139
↓ 1 callers
Method
is_int
\brief Return true if this sort is the Integer sort. */
src/ext/z3/include/z3++.h:361
↓ 1 callers
Function
is_interesting_avx
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:667
↓ 1 callers
Method
is_nan
Returns true iff this is NAN (not a number).
src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:7276
↓ 1 callers
Method
is_nan
Returns true iff this is NAN (not a number).
src/ext/gtest-1.7.0/include/gtest/internal/gtest-internal.h:316
↓ 1 callers
Method
is_real
\brief Return true if this sort is the Real sort. */
src/ext/z3/include/z3++.h:365
↓ 1 callers
Method
is_relation
\brief Return true if this sort is a Relation sort. */
src/ext/z3/include/z3++.h:385
↓ 1 callers
Function
is_sse
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:685
↓ 1 callers
Method
is_status
Returns true if this is a status flag. */
src/state/rflags.h:50
↓ 1 callers
Method
kind
src/ext/z3/include/z3++.h:326
↓ 1 callers
Method
live_ins
Returns the set of registers that are live-in for this graph. */
src/cfg/cfg.h:326
↓ 1 callers
Method
local_swap_move
src/search/transforms.cc:377
↓ 1 callers
Function
main
()
tools/scripts/completion_generator.py:28
↓ 1 callers
Function
main
()
src/ext/gtest-1.7.0/scripts/fuse_gtest_files.py:236
↓ 1 callers
Function
main
(argv)
src/ext/gtest-1.7.0/scripts/pump.py:831
↓ 1 callers
Function
make_dir
tools/apps/stoke_extract.cc:44
↓ 1 callers
Method
map_region
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-pecoff.cpp:187
↓ 1 callers
Function
message
Gets the message associated with the test part.
src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:17131
↓ 1 callers
Function
message
Returns the text streamed into this AssertionResult. Test assertions use it when they fail (i.e., the predicate's outcome doesn't match the assertion'
src/ext/gtest-1.7.0/include/gtest/gtest.h:274
↓ 1 callers
Method
module_section_info
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-pecoff.cpp:346
↓ 1 callers
Function
mont_mul
examples/montmul/mont_mul.cc:17
↓ 1 callers
Method
msg
src/ext/z3/include/z3++.h:84
↓ 1 callers
Function
new_list
examples/bansal/main.cc:23
↓ 1 callers
Function
no_comments
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed.cpp:136
↓ 1 callers
Method
num_funcs
src/ext/z3/include/z3++.h:1157
↓ 1 callers
Method
num_testcases
Returns the number of testcases used in this function's correctness term. */
src/cost/cost_function.h:130
↓ 1 callers
Method
opcode_move
src/search/transforms.cc:249
↓ 1 callers
Method
operand_move
src/search/transforms.cc:292
↓ 1 callers
Method
operator=
src/ext/gtest-1.7.0/test/gtest-param-test_test.cc:270
↓ 1 callers
Function
p01
examples/hacker/p01/fxn.cc:17
↓ 1 callers
Function
p02
examples/hacker/p02/fxn.cc:17
↓ 1 callers
Function
p03
examples/hacker/p03/fxn.cc:17
↓ 1 callers
Function
p04
examples/hacker/p04/fxn.cc:17
↓ 1 callers
Function
p05
examples/hacker/p05/fxn.cc:17
↓ 1 callers
Function
p06
examples/hacker/p06/fxn.cc:17
↓ 1 callers
Function
p07
examples/hacker/p07/fxn.cc:17
← previous
next →
1,201–1,300 of 5,085, ranked by callers