issues
search
swtv-kaist
/
cs458-spring24
7
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[HW7] print_execution command
#48
yheechan
closed
4 months ago
2
[HW7] Is "CROWN_REPLAY" correct?
#47
frogfrog2
closed
4 months ago
2
[Hw7] In Part 2 Problem 4, what is an "symbolic execution path" and how to show them?
#46
tncks0121
closed
4 months ago
4
[HW 6] Haster2 does not have free CPU cores
#45
Ahmadsm2005
closed
4 months ago
1
Is haster1 down?
#44
hotmandu
closed
4 months ago
0
[HW6] Submission of AFL++ outputs
#43
frogfrog2
closed
4 months ago
4
[Announcement] Server Status
#42
3-24
closed
4 months ago
6
Haster3 is dead!!
#41
Luna0413
closed
5 months ago
11
[HW6] Fuzzing driver
#40
frogfrog2
closed
5 months ago
1
Is there no class today?
#39
tncks0121
closed
5 months ago
1
[HW6] Regarding extra credits for highest brangh coverage
#38
3-24
closed
5 months ago
2
[HW6] what is # of unique paths executed?
#37
inseok-yeo
closed
5 months ago
3
[HW6] What is the "branch coverage" reported by AFL++?
#36
tncks0121
closed
5 months ago
3
[Lecture Slides] Could you update lecture slides about fuzzing? (lec41 and lec42)
#35
metamon123
closed
5 months ago
2
[HW6] Few questions to clear some doubts
#34
Ahmadsm2005
closed
5 months ago
4
[HW6] Problem 1(c)(iv), multiple smallest files
#33
leejy12
closed
5 months ago
1
[HW6] How to find coverage info with `gcov`?
#32
leejy12
closed
5 months ago
2
[HW 5] Intwrite fails on grep?
#31
Ahmadsm2005
closed
5 months ago
2
[Hw5] About determining `XX.YY` index of branch instructions of multiline ifs
#30
tncks0121
closed
5 months ago
7
[HW4] segmentation fault What should I do?
#29
Jae-Woo-Jung
closed
5 months ago
3
[HW4] Including headers in `.i` files does not seem to work..?
#28
hotmandu
closed
5 months ago
3
[HW4] Strange behavior of Rewriter.ReplaceText
#27
Jae-Woo-Jung
closed
5 months ago
2
[HW4] Do we have to flush `coverage.dat` on abnormal process terminations?
#26
hotmandu
closed
5 months ago
2
[HW4] What should be printed for condition expression of `for (;;)`?
#25
leejy12
closed
5 months ago
2
[HW4] Should I throw an error for ./kcov grep.c?
#24
Jae-Woo-Jung
closed
5 months ago
3
[HW4] How to skip visiting child statements?
#23
leejy12
closed
5 months ago
3
[HW4] Location of ImpDef.
#22
Jae-Woo-Jung
closed
5 months ago
2
[HW4] File name(PrintBranches?) and fatal error: 'stddef.h' file not found
#21
Jae-Woo-Jung
closed
5 months ago
4
[HW 4] Stuck at expanding Macros in task 1?
#20
Ahmadsm2005
closed
5 months ago
2
[HW4] Situation where different `<f>-cov` programs are run.
#19
leejy12
closed
5 months ago
1
[HW4] Can the modified `<f>-cov.c` use C++?
#18
leejy12
closed
5 months ago
1
[HW4] Functions from stdio.h
#17
frogfrog2
closed
5 months ago
1
[HW4] Part 4, handling `default`.
#16
leejy12
closed
5 months ago
1
How to find GICC?
#15
leejy12
closed
6 months ago
2
[HW4] number of branches
#14
leejy12
closed
6 months ago
6
[HW3] Part III: predicate and clauses
#13
leejy12
closed
6 months ago
2
[HW4] Counting the number of execution of branch
#12
Mysigyeong
closed
6 months ago
1
Assignment 3: TCAS Part III
#11
yheechan
closed
6 months ago
4
HW4 - How should we handle empty conditions and constant ones?
#10
leporia
closed
6 months ago
4
[HW4] Total number of branches and ID
#9
Mysigyeong
closed
6 months ago
1
[HW3] Part IV branch coverage
#8
leejy12
closed
6 months ago
1
HW3 - In which file should I add manual probes?
#7
tncks0121
closed
6 months ago
1
HW3 - GCOV doesn't show function branch coverage
#6
leporia
closed
6 months ago
3
[HW2] Method for replaying grep commands
#5
RiceBiscuits
closed
6 months ago
2
[HW2] Some minor questions
#4
leejy12
closed
6 months ago
2
Prime-path coverage and All-DU-paths coverage for infinite graph?
#3
Jae-Woo-Jung
closed
6 months ago
1
Rigorous defintions of concepts related to graph coverage.
#2
Jae-Woo-Jung
closed
6 months ago
3
The link to the KLMS course page
#1
antony-jeong
closed
7 months ago
1