issues
search
prosyslab-classroom
/
is593-language-based-security
28
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[Homework 6] Travis CI failed
#47
kyeongmincho
closed
4 years ago
2
[Random Program Generator] not working
#46
KunJeong
closed
4 years ago
7
[Homework 6] Segmentation fault in compilation of output .ll
#45
hyunsukimsokcho
closed
4 years ago
2
[Presentation] Next speakers
#44
KihongHeo
closed
4 years ago
0
[Homework 6] Is there any guideline for hidden test cases?
#43
hyunsikjeong
closed
4 years ago
1
[Project] Project Peer Review Form
#42
bangin20
closed
4 years ago
0
[HW6] How can I make the top-down algorithm faster?
#41
KunJeong
closed
4 years ago
16
[Final] Announcement
#40
KihongHeo
closed
4 years ago
2
[Project] Presenters
#39
KihongHeo
closed
4 years ago
4
[Project] Delayed Submission
#38
KihongHeo
closed
4 years ago
2
[Project] Announcements
#37
KihongHeo
closed
4 years ago
2
[Homework5] grading question
#36
KunJeong
closed
4 years ago
4
[Opam] opam commands not working in VM
#35
KunJeong
closed
4 years ago
2
[Homework5] segmentation fault causes example1.ll to become empty
#34
KunJeong
closed
4 years ago
27
[HW5] The test script initially failed
#33
KunJeong
closed
4 years ago
2
[Homework 5] Dependency in shell scripts and a minor issue in README
#32
hyunsukimsokcho
closed
4 years ago
11
[Project & Lecture10] Abstract domains for relational analysis
#31
KunJeong
closed
4 years ago
4
Safety condition 2 of sparse analysis
#30
KihongHeo
closed
4 years ago
0
[Project] proposal guidelines
#29
KunJeong
closed
4 years ago
2
[Project] Typo in slides
#28
KunJeong
closed
4 years ago
3
[Homework 3] About double_loop.interval test case
#27
hyunsikjeong
closed
4 years ago
1
[OCaml Question] Syntax error in D.CallGraph.CallSites.empty
#26
TonyWild
closed
4 years ago
4
[Homework 4] new question about worklist algorithm
#25
KunJeong
closed
4 years ago
2
[Homework 4] a few more questions about function call
#24
KunJeong
closed
4 years ago
12
[Homework 4] function and parameters of call
#23
KunJeong
closed
4 years ago
2
[Homework 4] Different definition of abstract Value domain
#22
ironore15
closed
4 years ago
2
[Homework 4] correct and precise `filter` function in `Semantics`
#21
ironore15
closed
4 years ago
2
[Homework 4] callgraph information to Semantics.filter
#20
KunJeong
closed
4 years ago
5
[General Llvm Question] Confusion between label and instruction
#19
TonyWild
closed
4 years ago
2
[Homework 3] if_for_if.interval testcase
#18
dnjsdnwja
closed
4 years ago
3
[Homework 4] Narrowing operator for values
#17
KunJeong
closed
4 years ago
6
[Homework 4] how to handle join of callgraph in worklist algorithm
#16
KunJeong
closed
4 years ago
7
[Homework 4] Section 4 in Homework document
#15
TonyWild
closed
4 years ago
1
[Homework 4] initial value of Allocsite
#14
h2oche
closed
4 years ago
2
[Homework 4] How to define abstract semantics for powerset?
#13
KunJeong
closed
4 years ago
2
Definition of ℙ?
#12
tomtomjhj
closed
4 years ago
3
[Homework 4] cmp function in VALUE module type
#11
dnjsdnwja
closed
4 years ago
4
[Homework 4] Abstract Domains in Documentation
#10
dnjsdnwja
closed
4 years ago
2
[Homework 4] specification of is_recursive
#9
tomtomjhj
closed
4 years ago
1
Memory operation type
#8
tomtomjhj
closed
4 years ago
1
[Homework 4] `of_allocsite` in the module `Location`
#7
Medowhill
closed
4 years ago
1
[Homework 4] `cmp` of `POWSET_DOMAIN`
#6
Medowhill
closed
4 years ago
7
[Homework 4] Format of input programs
#5
KihongHeo
closed
4 years ago
0
[Homework 4] Abstract semantics of a null dereference
#4
Medowhill
closed
4 years ago
4
[Homework 3] Naive fixed point algorithm worklist
#3
TonyWild
closed
4 years ago
2
[Docker] Use student's bashrc
#2
hyunsooda
closed
4 years ago
0
Fix typo
#1
jeehoonkang
closed
4 years ago
1