Functions — github.com/chengpeng-wang/LLMSAN

hub / github.com/chengpeng-wang/LLMSAN / functions

Functions25,618 in github.com/chengpeng-wang/LLMSAN

⨍ Functions 25,618◇ Types & classes 6,034

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_08.java:33

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_File_modulo_08.java:39

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listen_tcp_modulo_08.java:39

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_database_modulo_08.java:38

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_modulo_08.java:33

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_tcp_modulo_08.java:38

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_File_divide_08.java:39

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s04/CWE369_Divide_by_Zero__int_zero_divide_08.java:33

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s04/CWE369_Divide_by_Zero__int_zero_modulo_08.java:33

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__float_random_modulo_08.java:33

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__float_URLConnection_modulo_08.java:39

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_File_modulo_08.java:41

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__float_URLConnection_divide_08.java:39

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_File_divide_08.java:41

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__float_zero_divide_08.java:31

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__float_zero_modulo_08.java:31

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_connect_tcp_divide_08.java:40

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_database_divide_08.java:40

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_Environment_modulo_08.java:35

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_database_modulo_08.java:40

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_console_readLine_divide_08.java:39

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_Environment_divide_08.java:35

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__float_random_divide_08.java:33

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_console_readLine_modulo_08.java:39

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_connect_tcp_modulo_08.java:40

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-NPD/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__String_08.java:32

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-NPD/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__Integer_08.java:32

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-NPD/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__StringBuilder_08.java:32

↓ 2 callersMethodprivateReturnsFalse

()

benchmark/Java/juliet-test-suite-NPD/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_array_08.java:32

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-NPD/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_08.java:26

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-NPD/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_08.java:26

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-NPD/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_08.java:26

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__CWE182_Servlet_listen_tcp_08.java:35

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__Servlet_getQueryString_Servlet_08.java:29

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__CWE182_Servlet_getParameter_Servlet_08.java:28

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__CWE182_Servlet_getCookies_Servlet_08.java:28

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__Servlet_listen_tcp_08.java:35

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__Servlet_getParameter_Servlet_08.java:28

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__Servlet_connect_tcp_08.java:34

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__CWE182_Servlet_connect_tcp_08.java:34

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__Servlet_getCookies_Servlet_08.java:28

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__CWE182_Servlet_PropertiesFile_08.java:34

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__CWE182_Servlet_getQueryString_Servlet_08.java:29

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__CWE182_Servlet_File_08.java:35

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__Servlet_File_08.java:35

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__CWE182_Servlet_URLConnection_08.java:35

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__CWE182_Servlet_database_08.java:34

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s01/CWE80_XSS__Servlet_database_08.java:34

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s02/CWE80_XSS__Servlet_PropertiesFile_08.java:34

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-XSS/CWE80_XSS/s02/CWE80_XSS__Servlet_URLConnection_08.java:35

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__console_readLine_08.java:36

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__URLConnection_08.java:38

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__File_08.java:38

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__Environment_08.java:31

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__getParameter_Servlet_08.java:32

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__getQueryString_Servlet_08.java:33

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__getCookies_Servlet_08.java:32

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__listen_tcp_08.java:38

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__connect_tcp_08.java:37

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__database_08.java:37

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__Property_08.java:31

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-APT/CWE36_Absolute_Path_Traversal/CWE36_Absolute_Path_Traversal__PropertiesFile_08.java:37

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__getParameter_Servlet_08.java:29

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__getCookies_Servlet_08.java:29

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__connect_tcp_08.java:35

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__listen_tcp_08.java:36

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__getQueryString_Servlet_08.java:30

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__console_readLine_08.java:34

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__database_08.java:35

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__PropertiesFile_08.java:35

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__File_08.java:36

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__URLConnection_08.java:36

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__Environment_08.java:28

↓ 2 callersMethodprivateReturnsTrue

()

benchmark/Java/juliet-test-suite-CI/CWE78_OS_Command_Injection/CWE78_OS_Command_Injection__Property_08.java:28

↓ 1 callersMethod_construct_message

Construct the message to be sent to the model based on the specification and code. :param spec: Specification dictionary :par

src/model/detector.py:84

↓ 1 callersMethod_save_results

Save the output results to a JSON file. :param log_file_path: Path to save the log file :param json_file_name: Name of the JS

src/model/detector.py:126

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_Property_divide_81_goodB2G.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_Property_divide_81_goodG2B.java:25

↓ 1 callersMethodaction

(int data , HttpServletRequest request, HttpServletResponse response)

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_getQueryString_Servlet_modulo_81_goodG2B.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_URLConnection_modulo_81_bad.java:25

↓ 1 callersMethodaction

(int data , HttpServletRequest request, HttpServletResponse response)

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_getQueryString_Servlet_modulo_81_goodB2G.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_URLConnection_divide_81_bad.java:25

↓ 1 callersMethodaction

(int data , HttpServletRequest request, HttpServletResponse response)

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_getCookies_Servlet_modulo_81_goodG2B.java:25

↓ 1 callersMethodaction

(int data , HttpServletRequest request, HttpServletResponse response)

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_getParameter_Servlet_divide_81_bad.java:25

↓ 1 callersMethodaction

(int data , HttpServletRequest request, HttpServletResponse response)

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_getParameter_Servlet_modulo_81_goodG2B.java:25

↓ 1 callersMethodaction

(int data , HttpServletRequest request, HttpServletResponse response)

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_getQueryString_Servlet_modulo_81_bad.java:25

↓ 1 callersMethodaction

(int data , HttpServletRequest request, HttpServletResponse response)

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_getQueryString_Servlet_divide_81_bad.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_listen_tcp_divide_81_bad.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_random_modulo_81_bad.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_PropertiesFile_modulo_81_bad.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_listen_tcp_divide_81_goodG2B.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_listen_tcp_modulo_81_goodB2G.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_Property_modulo_81_bad.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_listen_tcp_modulo_81_bad.java:25

↓ 1 callersMethodaction

(int data , HttpServletRequest request, HttpServletResponse response)

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_getCookies_Servlet_divide_81_bad.java:25

↓ 1 callersMethodaction

(int data , HttpServletRequest request, HttpServletResponse response)

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_getCookies_Servlet_modulo_81_bad.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_random_modulo_81_goodB2G.java:25

↓ 1 callersMethodaction

(int data , HttpServletRequest request, HttpServletResponse response)

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_getQueryString_Servlet_divide_81_goodB2G.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_URLConnection_modulo_81_goodG2B.java:25

↓ 1 callersMethodaction

(int data )

benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s03/CWE369_Divide_by_Zero__int_Property_modulo_81_goodB2G.java:25

← previous next →201–300 of 25,618, ranked by callers