issues
search
code-philia
/
microbat
A feedback-based debugger for interactively recommending suspicious step in buggy program execution.
3
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Static Analysis of Definition Inference
#53
Weiyu-Kong
opened
5 days ago
0
Cli 17: cannot locate root cause with RootCauseFinder
#52
HongshuW
opened
3 weeks ago
2
RQ2: Update Gemini parameters
#51
HongshuW
closed
3 weeks ago
0
merge Tracerecov into full instrumentation
#50
HongshuW
closed
3 weeks ago
0
add LLMTimer
#49
HongshuW
closed
4 weeks ago
0
Data Analysis: update result file format
#48
HongshuW
closed
4 weeks ago
0
Update Variable Expansion Prompt Format
#47
HongshuW
closed
3 weeks ago
0
No trace in RunningInfo
#46
HongshuW
closed
1 month ago
1
Empty PrecheckInfo file
#45
HongshuW
opened
1 month ago
1
ParseProblemException
#44
HongshuW
closed
1 month ago
1
RuntimeException: class not found
#43
HongshuW
closed
1 month ago
1
Trace Alignment Error
#42
HongshuW
closed
1 month ago
2
Missing Control Dependency
#41
HongshuW
closed
1 month ago
0
Alias Inference: Response Processing
#40
HongshuW
opened
1 month ago
0
Prompt Engineering: variable expansion has inaccurate result
#39
HongshuW
closed
1 month ago
0
Fix bug in relevant step identification
#38
HongshuW
closed
1 month ago
0
RuntimeException: HTTP 400
#37
HongshuW
closed
1 week ago
1
Remove extra fields
#36
HongshuW
closed
1 month ago
0
VariableSkeleton for Arrays
#35
HongshuW
closed
1 month ago
0
Inaccurate variable value leads to incorrect prompt result
#34
peri103
closed
1 month ago
1
compare loss before and after example selection
#33
HongshuW
closed
2 months ago
0
In-context learning: Example Searching
#32
HongshuW
closed
2 months ago
0
In-Context Learning: search for the most suitable example
#31
HongshuW
closed
2 months ago
1
Update algorithm of Automatic Prompt Engineering
#30
HongshuW
closed
2 months ago
0
Automatic Prompt Engineering
#29
HongshuW
closed
2 months ago
0
[Paused] Automatic Prompt Engineering
#28
HongshuW
closed
1 week ago
0
Instrumentation: record first few layers of method invocations
#27
HongshuW
closed
2 months ago
1
Conditional Instrumentation: collect ground truth for variable expansion
#26
HongshuW
closed
2 months ago
0
LLM Prompt Logging: Add ExecutionSimulationFileLogger
#25
HongshuW
closed
2 months ago
1
"aliasID" is null
#24
peri103
closed
1 month ago
1
LLM Prompt Logging: Add Logging in preference
#23
HongshuW
closed
3 months ago
0
RQ1 Baseline Extension: Shorten Trace
#22
HongshuW
closed
2 months ago
0
RQ3 Adaptive Prompt Engineering: Prompt Collection and Labelling
#21
HongshuW
closed
1 week ago
0
Instrumentation NPE bug
#20
peri103
closed
1 month ago
0
Variable Expansion: enforce identical variable structure in buggy and correct trace
#19
HongshuW
closed
2 months ago
0
minimise number of queries
#18
HongshuW
closed
3 months ago
0
Add inference results to all relevant steps on trace
#17
HongshuW
closed
3 months ago
0
Add inference results to previous relevant step on trace
#16
HongshuW
closed
3 months ago
0
Alias Inference: Integrate CFG into static analysis
#15
HongshuW
closed
1 week ago
1
Handle special case of iterator
#14
HongshuW
closed
1 month ago
1
integrate CFG into static analysis
#13
HongshuW
closed
3 months ago
1
TraceRecov Documentation
#12
HongshuW
opened
3 months ago
0
Universal Prompt: Integrate different LLMs into the framework
#11
HongshuW
closed
2 months ago
1
Prompt Engineering: fix invalid JSON format problem
#10
HongshuW
closed
3 weeks ago
2
Handle case when target variable is a field of another variable
#9
HongshuW
opened
3 months ago
3
Definition Inference: Integrate CFG into static analysis
#8
HongshuW
closed
3 months ago
2
Clean up code
#7
HongshuW
closed
3 months ago
0
Refactor
#6
HongshuW
closed
1 month ago
1
Shall we revisit GPT if it returns ill-formed JSON data?
#5
llmhyy
closed
4 months ago
0
Retrieving the runtime variable type in Java instrumentation
#4
llmhyy
closed
1 month ago
5
Next