MCPcopy Create free account

hub / github.com/chengpeng-wang/LLMSAN / types & classes

Types & classes6,034 in github.com/chengpeng-wang/LLMSAN

⨍ Functions 25,618◇ Types & classes 6,034
↓ 3 callersClassLLM
An online inference model using ChatGPT
src/model/llm.py:13
↓ 2 callersClassBatchRun
src/batchrun.py:20
↓ 1 callersClassDetector
Detector class for running models and analyzing code based on specifications.
src/model/detector.py:14
↓ 1 callersClassFunction
src/sanitizer/analyzer.py:14
↓ 1 callersClassPasses
src/sanitizer/passes.py:14
↓ 1 callersClassTSAnalyzer
TSAnalyzer class for retrieving necessary facts or functions for LMAgent
src/sanitizer/analyzer.py:250
↓ 1 callersClassTSParser
TSParser class for extracting information from Java files using tree-sitter.
src/sanitizer/analyzer.py:61
ClassAbstractTestCase
benchmark/Java/juliet-test-suite-DBZ/testcasesupport/AbstractTestCase.java:10
ClassAbstractTestCase
benchmark/Java/juliet-test-suite-NPD/testcasesupport/AbstractTestCase.java:10
ClassAbstractTestCase
benchmark/Java/juliet-test-suite-XSS/testcasesupport/AbstractTestCase.java:10
ClassAbstractTestCase
benchmark/Java/juliet-test-suite-APT/testcasesupport/AbstractTestCase.java:10
ClassAbstractTestCase
benchmark/Java/juliet-test-suite-CI/testcasesupport/AbstractTestCase.java:10
ClassAbstractTestCaseBadOnly
benchmark/Java/juliet-test-suite-DBZ/testcasesupport/AbstractTestCaseBadOnly.java:8
ClassAbstractTestCaseBadOnly
benchmark/Java/juliet-test-suite-NPD/testcasesupport/AbstractTestCaseBadOnly.java:8
ClassAbstractTestCaseBadOnly
benchmark/Java/juliet-test-suite-XSS/testcasesupport/AbstractTestCaseBadOnly.java:8
ClassAbstractTestCaseBadOnly
benchmark/Java/juliet-test-suite-APT/testcasesupport/AbstractTestCaseBadOnly.java:8
ClassAbstractTestCaseBadOnly
benchmark/Java/juliet-test-suite-CI/testcasesupport/AbstractTestCaseBadOnly.java:8
ClassAbstractTestCaseBase
benchmark/Java/juliet-test-suite-DBZ/testcasesupport/AbstractTestCaseBase.java:9
ClassAbstractTestCaseBase
benchmark/Java/juliet-test-suite-NPD/testcasesupport/AbstractTestCaseBase.java:9
ClassAbstractTestCaseBase
benchmark/Java/juliet-test-suite-XSS/testcasesupport/AbstractTestCaseBase.java:9
ClassAbstractTestCaseBase
benchmark/Java/juliet-test-suite-APT/testcasesupport/AbstractTestCaseBase.java:9
ClassAbstractTestCaseBase
benchmark/Java/juliet-test-suite-CI/testcasesupport/AbstractTestCaseBase.java:9
ClassAbstractTestCaseClassIssue
benchmark/Java/juliet-test-suite-DBZ/testcasesupport/AbstractTestCaseClassIssue.java:10
ClassAbstractTestCaseClassIssue
benchmark/Java/juliet-test-suite-NPD/testcasesupport/AbstractTestCaseClassIssue.java:10
ClassAbstractTestCaseClassIssue
benchmark/Java/juliet-test-suite-XSS/testcasesupport/AbstractTestCaseClassIssue.java:10
ClassAbstractTestCaseClassIssue
benchmark/Java/juliet-test-suite-APT/testcasesupport/AbstractTestCaseClassIssue.java:10
ClassAbstractTestCaseClassIssue
benchmark/Java/juliet-test-suite-CI/testcasesupport/AbstractTestCaseClassIssue.java:10
ClassAbstractTestCaseClassIssueBad
benchmark/Java/juliet-test-suite-DBZ/testcasesupport/AbstractTestCaseClassIssueBad.java:10
ClassAbstractTestCaseClassIssueBad
benchmark/Java/juliet-test-suite-NPD/testcasesupport/AbstractTestCaseClassIssueBad.java:10
ClassAbstractTestCaseClassIssueBad
benchmark/Java/juliet-test-suite-XSS/testcasesupport/AbstractTestCaseClassIssueBad.java:10
ClassAbstractTestCaseClassIssueBad
benchmark/Java/juliet-test-suite-APT/testcasesupport/AbstractTestCaseClassIssueBad.java:10
ClassAbstractTestCaseClassIssueBad
benchmark/Java/juliet-test-suite-CI/testcasesupport/AbstractTestCaseClassIssueBad.java:10
ClassAbstractTestCaseClassIssueGood
benchmark/Java/juliet-test-suite-DBZ/testcasesupport/AbstractTestCaseClassIssueGood.java:10
ClassAbstractTestCaseClassIssueGood
benchmark/Java/juliet-test-suite-NPD/testcasesupport/AbstractTestCaseClassIssueGood.java:10
ClassAbstractTestCaseClassIssueGood
benchmark/Java/juliet-test-suite-XSS/testcasesupport/AbstractTestCaseClassIssueGood.java:10
ClassAbstractTestCaseClassIssueGood
benchmark/Java/juliet-test-suite-APT/testcasesupport/AbstractTestCaseClassIssueGood.java:10
ClassAbstractTestCaseClassIssueGood
benchmark/Java/juliet-test-suite-CI/testcasesupport/AbstractTestCaseClassIssueGood.java:10
ClassAbstractTestCaseServlet
benchmark/Java/juliet-test-suite-DBZ/testcasesupport/AbstractTestCaseServlet.java:22
ClassAbstractTestCaseServlet
benchmark/Java/juliet-test-suite-NPD/testcasesupport/AbstractTestCaseServlet.java:22
ClassAbstractTestCaseServlet
benchmark/Java/juliet-test-suite-XSS/testcasesupport/AbstractTestCaseServlet.java:22
ClassAbstractTestCaseServlet
benchmark/Java/juliet-test-suite-APT/testcasesupport/AbstractTestCaseServlet.java:22
ClassAbstractTestCaseServlet
benchmark/Java/juliet-test-suite-CI/testcasesupport/AbstractTestCaseServlet.java:22
ClassAbstractTestCaseServletBadOnly
benchmark/Java/juliet-test-suite-DBZ/testcasesupport/AbstractTestCaseServletBadOnly.java:22
ClassAbstractTestCaseServletBadOnly
benchmark/Java/juliet-test-suite-NPD/testcasesupport/AbstractTestCaseServletBadOnly.java:22
ClassAbstractTestCaseServletBadOnly
benchmark/Java/juliet-test-suite-XSS/testcasesupport/AbstractTestCaseServletBadOnly.java:22
ClassAbstractTestCaseServletBadOnly
benchmark/Java/juliet-test-suite-APT/testcasesupport/AbstractTestCaseServletBadOnly.java:22
ClassAbstractTestCaseServletBadOnly
benchmark/Java/juliet-test-suite-CI/testcasesupport/AbstractTestCaseServletBadOnly.java:22
ClassAbstractTestCaseServletBase
benchmark/Java/juliet-test-suite-DBZ/testcasesupport/AbstractTestCaseServletBase.java:22
ClassAbstractTestCaseServletBase
benchmark/Java/juliet-test-suite-NPD/testcasesupport/AbstractTestCaseServletBase.java:22
ClassAbstractTestCaseServletBase
benchmark/Java/juliet-test-suite-XSS/testcasesupport/AbstractTestCaseServletBase.java:22
ClassAbstractTestCaseServletBase
benchmark/Java/juliet-test-suite-APT/testcasesupport/AbstractTestCaseServletBase.java:22
ClassAbstractTestCaseServletBase
benchmark/Java/juliet-test-suite-CI/testcasesupport/AbstractTestCaseServletBase.java:22
ClassCWE369_Divide_by_Zero__float_Environment_divide_01
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_01.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_02
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_02.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_03
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_03.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_04
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_04.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_05
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_05.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_06
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_06.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_07
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_07.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_08
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_08.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_09
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_09.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_10
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_10.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_11
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_11.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_12
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_12.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_13
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_13.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_14
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_14.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_15
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_15.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_16
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_16.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_17
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_17.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_21
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_21.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_22a
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_22a.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_22b
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_22b.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_31
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_31.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_41
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_41.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_42
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_42.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_45
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_45.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_51a
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_51a.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_51b
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_51b.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_52a
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_52a.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_52b
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_52b.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_52c
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_52c.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_53a
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_53a.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_53b
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_53b.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_53c
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_53c.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_53d
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_53d.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_54a
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_54a.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_54b
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_54b.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_54c
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_54c.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_54d
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_54d.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_54e
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_54e.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_61a
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_61a.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_61b
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_61b.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_66a
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_66a.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_66b
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_66b.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_67a
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_67a.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_67b
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_67b.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_68a
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_68a.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_68b
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_68b.java:21
ClassCWE369_Divide_by_Zero__float_Environment_divide_71a
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_71a.java:23
ClassCWE369_Divide_by_Zero__float_Environment_divide_71b
benchmark/Java/juliet-test-suite-DBZ/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_Environment_divide_71b.java:21
next →1–100 of 6,034, ranked by callers