Functions — github.com/StanfordPL/stoke

CodeHub MCPcopy Create free account

hub / github.com/StanfordPL/stoke / functions

Functions5,085 in github.com/StanfordPL/stoke

⨍ Functions 5,085◇ Types & classes 1,793

↓ 2 callersFunctionPrintToString

src/ext/gtest-1.7.0/include/gtest/gtest-printers.h:847

↓ 2 callersFunctionPrintWideStringTo

src/ext/gtest-1.7.0/src/gtest-printers.cc:350

↓ 2 callersFunctionPrintWideStringTo

src/ext/gtest-1.7.0/fused-src/gtest/gtest-all.cc:9363

↓ 2 callersFunctionProcessFile

Processes the given gtest header file.

src/ext/gtest-1.7.0/scripts/fuse_gtest_files.py:152

↓ 2 callersMethodProposeReadState

Set new state to what it would be when the lock is acquired for read access. Return FALSE if read access can not be acquired in the current state.

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/components/include/sync/reader-writer-lock-spin.hpp:245

↓ 2 callersMethodProposeWriteState

Set new state to what it would be when the lock is acquired for write access by a writer that is not on the waiting list. Return FALSE if write access

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/components/include/sync/reader-writer-lock-spin.hpp:269

↓ 2 callersMethodPush

! * Push an object onto the head of the queue. * * @param[in] userObj The object to insert. * * @return Returns TRUE on

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/components/include/atomic/fixed-lifo.hpp:169

↓ 2 callersMethodPushVariable

(self, var, value)

src/ext/gtest-1.7.0/scripts/pump.py:595

↓ 2 callersMethodReleaseID

! * Release an ID, making it available for reuse. * * @param[in] id The ID, which must be in the range [1,MaxID]. */

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/components/include/atomic/idset.hpp:138

↓ 2 callersMethodReleaseWritableBuf

! * Release all previously obtained writable pointers obtained via GetWritableBuf(). */

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/components/include/util/data.hpp:464

↓ 2 callersMethodRemoveFileName

RemoveFileName returns the directory path with the filename removed. Example: FilePath("path/to/file").RemoveFileName() returns "path/to/". If the Fil

src/ext/gtest-1.7.0/fused-src/gtest/gtest-all.cc:7995

↓ 2 callersFunctionRemoveTestCounts

Removes test counts from a Google Test program's output.

src/ext/gtest-1.7.0/test/gtest_output_test.py:153

↓ 2 callersFunctionRemoveTypeInfoDetails

Removes compiler-specific type info from Google Test program's output. Args: test_output: the output of a Google Test program. Returns:

src/ext/gtest-1.7.0/test/gtest_output_test.py:125

↓ 2 callersFunctionRepeatFlag

src/ext/gtest-1.7.0/test/gtest_shuffle_test.py:66

↓ 2 callersMethodReplace

src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/include/pin/pin_cache.H:172

↓ 2 callersFunctionRmDir

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:2838

↓ 2 callersFunctionRoundUp

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/components/include/util/round.hpp:66

↓ 2 callersMethodRun

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:2406

↓ 2 callersMethodRun

src/ext/gtest-1.7.0/include/gtest/internal/gtest-port.h:1299

↓ 2 callersFunctionRunFromThread

src/ext/gtest-1.7.0/test/gtest-port_test.cc:1125

↓ 2 callersFunctionRunWithFlag

Runs gtest_help_test_ with the given flag. Returns: the exit code and the text output as a tuple. Args: flag: the command-line flag to pa

src/ext/gtest-1.7.0/test/gtest_help_test.py:81

↓ 2 callersFunctionSetEnvVar

Sets the env variable to 'value'; unsets it when 'value' is None.

src/ext/gtest-1.7.0/test/gtest_env_var_test.py:55

↓ 2 callersFunctionSetEnvVar

Sets an environment variable to a given value; unsets it when the given value is None.

src/ext/gtest-1.7.0/test/gtest_throw_on_failure_test.py:58

↓ 2 callersMethodSetGlobalTestPartResultReporter

Sets the global test part result reporter.

src/ext/gtest-1.7.0/src/gtest.cc:689

↓ 2 callersMethodSetGlobalTestPartResultReporter

Sets the global test part result reporter.

src/ext/gtest-1.7.0/fused-src/gtest/gtest-all.cc:2173

↓ 2 callersFunctionSetSigprofActionAndTimer

Sets SIGPROF action and ITIMER_PROF timer (interval: 1ms).

src/ext/gtest-1.7.0/test/gtest-death-test_test.cc:382

↓ 2 callersFunctionShouldShard

Checks whether sharding is enabled by examining the relevant environment variable values. If the variables are present, but inconsistent (i.e., shard_

src/ext/gtest-1.7.0/fused-src/gtest/gtest-all.cc:5865

↓ 2 callersFunctionSkipUntil

(lines, pos, regex, token_type)

src/ext/gtest-1.7.0/scripts/pump.py:270

↓ 2 callersFunctionStrCaseCmp

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:2815

↓ 2 callersFunctionStrError

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:2897

↓ 2 callersFunctionStreamWideCharsToMessage

Converts an array of wide chars to a narrow string using the UTF-8 encoding, and streams the result to the given Message object.

src/ext/gtest-1.7.0/src/gtest.cc:888

↓ 2 callersFunctionStreamWideCharsToMessage

Converts an array of wide chars to a narrow string using the UTF-8 encoding, and streams the result to the given Message object.

src/ext/gtest-1.7.0/fused-src/gtest/gtest-all.cc:2372

↓ 2 callersFunctionSubWithoutTrace

A helper function for testing SCOPED_TRACE.

src/ext/gtest-1.7.0/test/gtest_output_test_.cc:163

↓ 2 callersFunctionSubroutine

src/ext/gtest-1.7.0/test/gtest_sole_header_test.cc:39

↓ 2 callersMethodSuppressEventForwarding

src/ext/gtest-1.7.0/src/gtest.cc:3628

↓ 2 callersMethodSuppressEventForwarding

src/ext/gtest-1.7.0/fused-src/gtest/gtest-all.cc:5112

↓ 2 callersFunctionTestExitMacros

Tests the *_EXIT family of macros, using a variety of predicates.

src/ext/gtest-1.7.0/test/gtest-death-test_test.cc:718

↓ 2 callersMethodTestNonHelpFlag

Verifies correct behavior when no help flag is specified. Verifies that when no help flag is specified, the tests are run and the help messag

src/ext/gtest-1.7.0/test/gtest_help_test.py:125

↓ 2 callersFunctionTestRepeatWithEmptyFilter

Tests using --gtest_repeat when --gtest_filter specifies an empty set of tests.

src/ext/gtest-1.7.0/test/gtest_repeat_test.cc:182

↓ 2 callersMethodTestSehExceptions

(self, test_output)

src/ext/gtest-1.7.0/test/gtest_catch_exceptions_test.py:89

↓ 2 callersFunctionTitle

Returns the given word in title case. The difference between this and string's title() method is that Title('4-ary') is '4-ary' while '4-ary'.tit

src/ext/gtest-1.7.0/scripts/gen_gtest_pred_impl.py:175

↓ 2 callersFunctionToUnixLineEnding

Changes all Windows/Mac line endings in s to UNIX line endings.

src/ext/gtest-1.7.0/test/gtest_output_test.py:82

↓ 2 callersFunctionToUpper

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:2795

↓ 2 callersMethodTryLock

! * Attempts to acquire the lock, but does not block the caller. * * @return Returns TRUE if the lock is acquired, FALSE if not.

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/components/include/sync/simple-lock-spin.hpp:187

↓ 2 callersFunctionTryTestSubroutine

This function calls a test subroutine, catches the fatal failure it generates, and then returns early.

src/ext/gtest-1.7.0/test/gtest_output_test_.cc:72

↓ 2 callersFunctionUnexpectedHRESULTFailure

src/ext/gtest-1.7.0/test/gtest_unittest.cc:3867

↓ 2 callersFunctionUniversalPrintCharArray

src/ext/gtest-1.7.0/src/gtest-printers.cc:276

↓ 2 callersFunctionUniversalPrintCharArray

src/ext/gtest-1.7.0/fused-src/gtest/gtest-all.cc:9289

↓ 2 callersFunctionUniversalTersePrint

src/ext/gtest-1.7.0/include/gtest/gtest-printers.h:743

↓ 2 callersFunctionValues

src/ext/gtest-1.7.0/include/gtest/gtest-param-test.h:348

↓ 2 callersFunctionVerifyFileExists

Verifies that the given file exists; aborts on failure. relative_path is the file path relative to the given directory.

src/ext/gtest-1.7.0/scripts/fuse_gtest_files.py:86

↓ 2 callersFunctionVerifyOutputFile

Verifies that the given output file path is valid. relative_path is relative to the output_dir directory.

src/ext/gtest-1.7.0/scripts/fuse_gtest_files.py:110

↓ 2 callersFunctionWideStringToUtf8

Converts a wide string to a narrow string in UTF-8 encoding. The wide string is assumed to have the following encoding: UTF-16 if sizeof(wchar_t) == 2

src/ext/gtest-1.7.0/fused-src/gtest/gtest-all.cc:2984

↓ 2 callersFunctionWrapCode

(line, line_concat, output)

src/ext/gtest-1.7.0/scripts/pump.py:741

↓ 2 callersFunctionWrite

src/ext/gtest-1.7.0/fused-src/gtest/gtest.h:2893

↓ 2 callersMethod_GetChildren

Fetches all of the child nodes of element, a DOM Element object. Returns them as the values of a dictionary keyed by the IDs of the child

src/ext/gtest-1.7.0/test/gtest_xml_test_utils.py:117

↓ 2 callersMethod_GetXmlOutput

Returns the xml output generated by running the program gtest_prog_name. Furthermore, the program's exit code must be expected_exit_code.

src/ext/gtest-1.7.0/test/gtest_xml_output_unittest.py:262

↓ 2 callersFunction_ParseAndStripGTestFlags

Parses and strips Google Test flags from argv. This is idempotent.

src/ext/gtest-1.7.0/test/gtest_test_utils.py:86

↓ 2 callersMethod_TestOutFile

(self, test_name, expected_xml)

src/ext/gtest-1.7.0/test/gtest_xml_outfiles_test.py:98

↓ 2 callersMethod__init__

(self, arg, desc="")

tools/scripts/completion_generator.py:267

↓ 2 callersFunction_rmdir

Windows CE doesn't have the _rmdir C function.

src/ext/gtest-1.7.0/test/gtest-filepath_test.cc:75

↓ 2 callersMethodarray_range

\brief Return the range of this Array sort. \pre is_array() */

src/ext/z3/include/z3++.h:409

↓ 2 callersFunctioncheck_file

! * @brief Checks for file properties and prints an error message is requirements are not met. * @param fn The file path */

src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/launcher/utils.c:90

↓ 2 callersFunctioncheck_file_in_dir

! * Checks that a file exists in the directory and that it is not a directory. * @param fn The file path to be checked * @param dir The directory p

src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/launcher/utils.c:121

↓ 2 callersFunctionconvert_ascii_hex_to_int

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:1153

↓ 2 callersFunctionconvert_base10

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:1197

↓ 2 callersFunctionconvert_base16

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:1226

↓ 2 callersMethodcounter_example_available

Returns whether the last failed invocation of verify() produced a new counter example. */

src/verifier/verifier.h:49

↓ 2 callersMethoddata

Pointer to underlying data. */

src/state/memory.h:97

↓ 2 callersFunctiondecode_internal

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:264

↓ 2 callersMethoddefined_begin

Returns a pointer to the beginning of the defined byte addrs in this memory. */

src/state/memory.h:153

↓ 2 callersMethoddefined_end

Returns a pointer to the end of the defined byte addrs in this memory. */

src/state/memory.h:157

↓ 2 callersFunctiondisas_decode

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed.cpp:66

↓ 2 callersFunctiondisas_decode_binary

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:501

↓ 2 callersFunctiondisas_decode_encode_binary

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-examples-util.c:561

↓ 2 callersMethodequals

src/symstate/bool.h:286

↓ 2 callersMethoderror

Get the error */

src/solver/z3solver.h:198

↓ 2 callersMethodeval

src/ext/z3/include/z3++.h:1146

↓ 2 callersFunctionexecutable

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-macho.cpp:104

↓ 2 callersFunctionfind_driver_name

src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/launcher/os_specific_l.c:144

↓ 2 callersFunctionfind_fn_ptr

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-disas-pecoff.cpp:98

↓ 2 callersFunctionfind_symbol_address

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/xed-symbol-table.cpp:69

↓ 2 callersMethodget_addr

src/symstate/state.cc:285

↓ 2 callersMethodget_address_vars

src/symstate/memory.cc:253

↓ 2 callersFunctionget_arguments

tools/scripts/completion_generator.py:390

↓ 2 callersMethodget_error

Get the error message, and optionally metadata */

src/validator/validator.h:62

↓ 2 callersFunctionget_gcc_version_string

src/ext/pin-2.13-62732-gcc.4.4.7-linux/source/launcher/utils.c:24

↓ 2 callersMethodget_name

tests/fixture.h:43

↓ 2 callersMethodget_rewrite_final_state

Gets the rewrite's final state in counterexample. */

src/validator/validator.h:86

↓ 2 callersMethodget_symbol

src/ext/pin-2.13-62732-gcc.4.4.7-linux/extras/xed2-intel64/examples/udhelp.cpp:280

↓ 2 callersMethodget_target_final_state

Gets the target's final state in counterexample. */

src/validator/validator.h:82

↓ 2 callersMethodhas_error

Check if the last query trivvered an error. */

src/solver/smtsolver.h:55

↓ 2 callersMethodhas_model

Check if a satisfying assignment is available. */

src/solver/z3solver.h:40

↓ 2 callersMethodhas_subcommands

tools/scripts/completion_generator.py:327

↓ 2 callersFunctionhex_to_int

src/disassembler/disassembler.cc:220

↓ 2 callersMethodimplies

src/symstate/bool.cc:55

↓ 2 callersMethodinstr_begin

Returns an iterator that points to the beginning of this basic block. */

src/cfg/cfg.h:168

↓ 2 callersMethodinstr_end

Returns an iterator that points to the end of this basic block. */

src/cfg/cfg.h:173

↓ 2 callersMethodinstruction_move

src/search/transforms.cc:189

↓ 2 callersMethodis_defined

Returns true if a byte is defined; undefined for invalid bytes */

src/state/memory.h:137

← previous next →701–800 of 5,085, ranked by callers