MCPcopy Index your code
hub / github.com/STAMP-project/botsing

github.com/STAMP-project/botsing @botsing-1.0.7

Chat with this repo
repository ↗ · DeepWiki ↗ · release botsing-1.0.7 ↗ · + Follow
770 symbols 3,130 edges 122 files 46 documented · 6% ● updated 3y agobotsing-1.0.7 · 2019-08-30★ 3318 open issues
What it actually does AI analysis from the code graph — generated when you open this
loading…
README

Botsing

Build Status Coverage Status Maven Central

Botsing is a Java framework for search-based crash reproduction. It implements and extends the EvoCrash approach and relies on EvoSuite for Java code instrumentation during test generation and execution. The documentation is available on the Botsing companion website.

Beta testing

Beta testing campain banner

Give us your feedback! Please take 5' of your time to fill in this quick questionnaire.

This is important for us. As a recognition for your feedback, you will receive a limited edition STAMP Software Test Pilot gift and be recognized as a STAMP contributor.

This campaign will close on 31 September, 2019. You will be contacted individually for a customized gift and for contribution opportunities.

Funding

Botsing is partially funded by research project STAMP (European Commission - H2020) ICT-16-10 No.731529.

STAMP - European Commission - H2020

Extension points exported contracts — how you extend this code

STProcessor (Interface)
(no doc) [5 implementers]
botsing-preprocessing/src/main/java/eu/stamp/botsing/preprocessing/STProcessor.java

Core symbols most depended-on inside this repo

get
called by 126
botsing-preprocessing/src/main/java/eu/stamp/botsing/preprocessing/ErrorMessage.java
getInstance
called by 122
botsing-reproduction/src/main/java/eu/stamp/botsing/CrashProperties.java
getClassName
called by 102
botsing-parsers/src/main/java/eu/stamp/botsing/Frame.java
getMethodName
called by 101
botsing-parsers/src/main/java/eu/stamp/botsing/Frame.java
toString
called by 79
botsing-parsers/src/main/java/eu/stamp/botsing/Frame.java
getLineNumber
called by 48
botsing-parsers/src/main/java/eu/stamp/botsing/Frame.java
getStackTrace
called by 27
botsing-reproduction/src/main/java/eu/stamp/botsing/CrashProperties.java
setup
called by 26
botsing-reproduction/src/main/java/eu/stamp/botsing/StackTrace.java

Shape

Method 644
Class 121
Enum 4
Interface 1

Languages

Java100%

Modules by API surface

botsing-reproduction/src/main/java/eu/stamp/botsing/CrashProperties.java24 symbols
botsing-reproduction/src/main/java/eu/stamp/botsing/StackTrace.java18 symbols
botsing-commons/src/test/java/eu/stamp/botsing/commons/coverage/branch/InterProceduralControlFlowDistanceCalculatorTest.java17 symbols
botsing-reproduction/src/test/java/eu/stamp/botsing/ga/strategy/operators/GuidedSearchUtilityTest.java16 symbols
botsing-parsers/src/main/java/eu/stamp/botsing/parsers/StackTracesCollectorListener.java16 symbols
botsing-parsers/src/main/java/eu/stamp/botsing/CrashStackTrace.java16 symbols
botsing-reproduction/src/main/java/eu/stamp/botsing/ga/strategy/GuidedGeneticAlgorithm.java15 symbols
botsing-model-generation/src/main/java/eu/stamp/botsing/model/generation/analysis/sourcecode/StaticAnalyser.java15 symbols
botsing-reproduction/src/test/java/eu/stamp/botsing/fitnessfunction/calculator/CrashCoverageFitnessCalculatorTest.java14 symbols
botsing-parsers/src/main/java/eu/stamp/botsing/Frame.java14 symbols
botsing-maven/src/main/java/eu/stamp/botsing/BotsingMojo.java13 symbols
botsing-reproduction/src/main/java/eu/stamp/botsing/reproduction/CrashReproduction.java12 symbols

For agents

$ claude mcp add botsing \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

Ask about this repo answers extend the page