prosyslab-classroom/is593-language-based-security

Issues

• [Final] Announcement

  #40 opened 4 years ago by KihongHeo
  2

• [HW6] How can I make the top-down algorithm faster?

  #41 opened 4 years ago by KunJeong
  16

• [Homework 6] Is there any guideline for hidden test cases?

  #43 opened 4 years ago by hyunsikjeong
  1

• [Homework 6] Segmentation fault in compilation of output .ll

  #45 opened 4 years ago by hyunsukimsokcho
  2

• [Homework 6] Travis CI failed

  #47 opened 4 years ago by kyeongmincho
  2

• [Project] Delayed Submission

  #38 opened 4 years ago by KihongHeo
  2

• [Project] Announcements

  #37 opened 4 years ago by KihongHeo
  2

• [Project] Presenters

  #39 opened 4 years ago by KihongHeo
  4

• [Project] Project Peer Review Form

  #42 opened 4 years ago by bangin20
  0

• [Random Program Generator] not working

  #46 opened 4 years ago by KunJeong
  7

• [Presentation] Next speakers

  #44 opened 4 years ago by KihongHeo
  0

• Safety condition 2 of sparse analysis

  #30 opened 4 years ago by KihongHeo
  0

• [Homework5] segmentation fault causes example1.ll to become empty

  #34 opened 4 years ago by KunJeong
  27

• [Homework 5] Dependency in shell scripts and a minor issue in README

  #32 opened 4 years ago by hyunsukimsokcho
  11

• [Homework5] grading question

  #36 opened 4 years ago by KunJeong
  4

• [Opam] opam commands not working in VM

  #35 opened 4 years ago by KunJeong
  2

• [HW5] The test script initially failed

  #33 opened 4 years ago by KunJeong
  2

• [Project & Lecture10] Abstract domains for relational analysis

  #31 opened 4 years ago by KunJeong
  4

• [Project] proposal guidelines

  #29 opened 4 years ago by KunJeong
  2

• [Homework 4] Section 4 in Homework document

  #15 opened 4 years ago by TonyWild
  1

• [Homework 4] initial value of Allocsite

  #14 opened 4 years ago by h2oche
  2

• [Homework 4] cmp function in VALUE module type

  #11 opened 4 years ago by dnjsdnwja
  4

• [Homework 4] `of_allocsite` in the module `Location`

  #7 opened 4 years ago by Medowhill
  1

• [Homework 4] `cmp` of `POWSET_DOMAIN`

  #6 opened 4 years ago by Medowhill
  7

• [Homework 4] Format of input programs

  #5 opened 4 years ago by KihongHeo
  0

• [Project] Typo in slides

  #28 opened 4 years ago by KunJeong
  3

• [Homework 3] if_for_if.interval testcase

  #18 opened 4 years ago by dnjsdnwja
  3

• [Homework 3] About double_loop.interval test case

  #27 opened 4 years ago by hyunsikjeong
  1

• [OCaml Question] Syntax error in D.CallGraph.CallSites.empty

  #26 opened 4 years ago by TonyWild
  4

• [Homework 4] a few more questions about function call

  #24 opened 4 years ago by KunJeong
  12

• [Homework 4] new question about worklist algorithm

  #25 opened 4 years ago by KunJeong
  2

• [Homework 4] function and parameters of call

  #23 opened 4 years ago by KunJeong
  2

• [Homework 4] Narrowing operator for values

  #17 opened 4 years ago by KunJeong
  6

• [Homework 4] callgraph information to Semantics.filter

  #20 opened 4 years ago by KunJeong
  5

• [Homework 4] Different definition of abstract Value domain

  #22 opened 4 years ago by ironore15
  2

• [Homework 4] correct and precise `filter` function in `Semantics`

  #21 opened 4 years ago by ironore15
  2

• [General Llvm Question] Confusion between label and instruction

  #19 opened 4 years ago by TonyWild
  2

• [Homework 4] how to handle join of callgraph in worklist algorithm

  #16 opened 4 years ago by KunJeong
  7

• Definition of ℙ?

  #12 opened 4 years ago by tomtomjhj
  3

• [Homework 4] How to define abstract semantics for powerset?

  #13 opened 4 years ago by KunJeong
  2

• [Homework 4] Abstract Domains in Documentation

  #10 opened 4 years ago by dnjsdnwja
  2

• [Homework 4] specification of is_recursive

  #9 opened 4 years ago by tomtomjhj
  1

• Memory operation type

  #8 opened 4 years ago by tomtomjhj
  1

• [Homework 4] Abstract semantics of a null dereference

  #4 opened 4 years ago by Medowhill
  4

• [Homework 3] Naive fixed point algorithm worklist

  #3 opened 4 years ago by TonyWild
  2