MCPcopy Create free account

hub / github.com/StanfordPL/stoke / functions

Functions5,085 in github.com/StanfordPL/stoke

↓ 1 callersFunctioncreate_default_testcase_set
tools/args/testcases.cc:25
↓ 1 callersFunctiondelete_edges
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-dot.c:59
↓ 1 callersFunctiondelete_nodes
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-dot.c:51
↓ 1 callersFunctiondisas_decode_encode
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed.cpp:76
↓ 1 callersFunctiondisas_encode
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed.cpp:105
↓ 1 callersFunctiondisas_test32
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-elf.cpp:251
↓ 1 callersFunctiondisas_test64
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-elf.cpp:286
↓ 1 callersFunctiondo_compress
tools/apps/stoke_testcase.cc:165
↓ 1 callersFunctiondo_decompress
tools/apps/stoke_testcase.cc:188
↓ 1 callersMethoddom
Returns true if the first basic block dominates the second; undefined for unreachable blocks. */
src/cfg/cfg.h:227
↓ 1 callersFunctiondot_obj
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-pecoff.cpp:585
↓ 1 callersFunctiondump_inst
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-dll-discovery.c:77
↓ 1 callersFunctiondump_inst
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-tables.c:70
↓ 1 callersFunctiondump_insts
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-tables.c:88
↓ 1 callersFunctiondump_operand
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-tables.c:39
↓ 1 callersFunctionemit_start
src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/tools/stoke/testcase.cpp:294
↓ 1 callersFunctionemit_stop
src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/tools/stoke/testcase.cpp:329
↓ 1 callersMethodfailed_test_case_count
Gets the number of failed test cases.
src/ext/gtest-1.7.0/src/gtest.cc:713
↓ 1 callersMethodfallthrough_target
Returns the fallthrough target for this basic block; undefined if has_fallthrough_target() is false. */
src/cfg/cfg.h:209
↓ 1 callersFunctionfind_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 callersFunctionfind_base_path
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/udhelp.cpp:80
↓ 1 callersFunctionfind_driver_name
src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/launcher/os_specific_m.c:42
↓ 1 callersFunctionfind_driver_name
src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/launcher/os_specific_a.c:116
↓ 1 callersFunctionfind_driver_name
src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/launcher/os_specific_b.c:131
↓ 1 callersFunctionfind_line_number
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-elf.cpp:95
↓ 1 callersFunctionfind_symbol_address_global
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-symbol-table.cpp:92
↓ 1 callersFunctionfind_wow64_redir
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-pecoff.cpp:107
↓ 1 callersMethodfinish_init
(self)
tools/scripts/completion_generator.py:272
↓ 1 callersFunctionfopen_portable
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed.cpp:404
↓ 1 callersMethodforwarding_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 callersMethodforwarding_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 callersFunctionfree_list
examples/bansal/main.cc:38
↓ 1 callersFunctionget
src/ext/gtest-1.7.0/include/gtest/internal/gtest-tuple.h:929
↓ 1 callersMethodget_avx_alignment
src/validator/handlers/packed_handler.h:770
↓ 1 callersMethodget_clear
src/validator/handlers/packed_handler.h:758
↓ 1 callersFunctionget_command
()
tools/scripts/completion_generator.py:358
↓ 1 callersFunctionget_dll_version
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/udhelp.cpp:120
↓ 1 callersMethodget_file
src/validator/error.h:39
↓ 1 callersMethodget_input_width
src/validator/handlers/packed_handler.h:761
↓ 1 callersMethodget_line
src/validator/error.h:35
↓ 1 callersMethodget_loc
src/cfg/cfg.cc:24
↓ 1 callersMethodget_message
src/validator/error.h:43
↓ 1 callersMethodget_model
src/ext/z3/include/z3++.h:1282
↓ 1 callersMethodget_only_one
src/validator/handlers/packed_handler.h:755
↓ 1 callersMethodget_output_width
src/validator/handlers/packed_handler.h:764
↓ 1 callersMethodget_support
src/validator/handlers/combo_handler.cc:22
↓ 1 callersMethodget_uninterpreted
src/validator/handlers/packed_handler.h:752
↓ 1 callersMethodget_usage
(self)
tools/scripts/completion_generator.py:305
↓ 1 callersMethodglobal_swap_move
src/search/transforms.cc:417
↓ 1 callersMethodhandle
(self, command)
tools/scripts/completion_generator.py:58
↓ 1 callersMethodhas_error
Checks if an error message is available */
src/verifier/verifier.h:58
↓ 1 callersMethodhas_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 callersMethodinit
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-pecoff.cpp:152
↓ 1 callersMethodinit_concrete
src/symstate/memory.cc:58
↓ 1 callersFunctioninit_interesting_avx
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:659
↓ 1 callersFunctioninvert_map
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-dll-discovery.c:106
↓ 1 callersMethodis_array
\brief Return true if this sort is a Array sort. */
src/ext/z3/include/z3++.h:377
↓ 1 callersFunctionis_avx128
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:670
↓ 1 callersMethodis_back_edge
Returns true if this edge is a back edge. */
src/cfg/cfg.h:243
↓ 1 callersMethodis_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 callersMethodis_datatype
\brief Return true if this sort is a Datatype sort. */
src/ext/z3/include/z3++.h:381
↓ 1 callersMethodis_entry
Returns true if this is the entry block. */
src/cfg/cfg.h:148
↓ 1 callersMethodis_finite_domain
\brief Return true if this sort is a Finite domain sort. */
src/ext/z3/include/z3++.h:389
↓ 1 callersMethodis_fixed
Returns true if this bit has a fixed value. */
src/state/rflags.h:76
↓ 1 callersFunctionis_hex_string
src/disassembler/disassembler.cc:139
↓ 1 callersMethodis_int
\brief Return true if this sort is the Integer sort. */
src/ext/z3/include/z3++.h:361
↓ 1 callersFunctionis_interesting_avx
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:667
↓ 1 callersMethodis_nan
Returns true iff this is NAN (not a number).
src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:7276
↓ 1 callersMethodis_nan
Returns true iff this is NAN (not a number).
src/ext/gtest-1.7.0/include/gtest/internal/gtest-internal.h:316
↓ 1 callersMethodis_real
\brief Return true if this sort is the Real sort. */
src/ext/z3/include/z3++.h:365
↓ 1 callersMethodis_relation
\brief Return true if this sort is a Relation sort. */
src/ext/z3/include/z3++.h:385
↓ 1 callersFunctionis_sse
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:685
↓ 1 callersMethodis_status
Returns true if this is a status flag. */
src/state/rflags.h:50
↓ 1 callersMethodkind
src/ext/z3/include/z3++.h:326
↓ 1 callersMethodlive_ins
Returns the set of registers that are live-in for this graph. */
src/cfg/cfg.h:326
↓ 1 callersMethodlocal_swap_move
src/search/transforms.cc:377
↓ 1 callersFunctionmain
()
tools/scripts/completion_generator.py:28
↓ 1 callersFunctionmain
()
src/ext/gtest-1.7.0/scripts/fuse_gtest_files.py:236
↓ 1 callersFunctionmain
(argv)
src/ext/gtest-1.7.0/scripts/pump.py:831
↓ 1 callersFunctionmake_dir
tools/apps/stoke_extract.cc:44
↓ 1 callersMethodmap_region
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-pecoff.cpp:187
↓ 1 callersFunctionmessage
Gets the message associated with the test part.
src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:17131
↓ 1 callersFunctionmessage
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 callersMethodmodule_section_info
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-pecoff.cpp:346
↓ 1 callersFunctionmont_mul
examples/montmul/mont_mul.cc:17
↓ 1 callersMethodmsg
src/ext/z3/include/z3++.h:84
↓ 1 callersFunctionnew_list
examples/bansal/main.cc:23
↓ 1 callersFunctionno_comments
src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed.cpp:136
↓ 1 callersMethodnum_funcs
src/ext/z3/include/z3++.h:1157
↓ 1 callersMethodnum_testcases
Returns the number of testcases used in this function's correctness term. */
src/cost/cost_function.h:130
↓ 1 callersMethodopcode_move
src/search/transforms.cc:249
↓ 1 callersMethodoperand_move
src/search/transforms.cc:292
↓ 1 callersMethodoperator=
src/ext/gtest-1.7.0/test/gtest-param-test_test.cc:270
↓ 1 callersFunctionp01
examples/hacker/p01/fxn.cc:17
↓ 1 callersFunctionp02
examples/hacker/p02/fxn.cc:17
↓ 1 callersFunctionp03
examples/hacker/p03/fxn.cc:17
↓ 1 callersFunctionp04
examples/hacker/p04/fxn.cc:17
↓ 1 callersFunctionp05
examples/hacker/p05/fxn.cc:17
↓ 1 callersFunctionp06
examples/hacker/p06/fxn.cc:17
↓ 1 callersFunctionp07
examples/hacker/p07/fxn.cc:17
← previousnext →1,201–1,300 of 5,085, ranked by callers