kaist-cp/hafnium-verification

Issues

• Counting Unsafe

  #84 opened 4 years ago by coolofficials
  2

• Tracking issue: apply refactorings to upstream

  #79 opened 5 years ago by efenniht
  0

• Postpone porting of `plat.c`

  #47 opened 5 years ago by efenniht
  0

• Building HfO2 on Docker

  #73 opened 5 years ago by efenniht
  0

• PageTable is unsafe

  #70 opened 5 years ago by efenniht
  0

• `offset_of!` is not working for {nested fields, type paths}

  #40 opened 5 years ago by efenniht
  1

• Upstream update

  #19 opened 5 years ago by jeehoonkang
  10

• 변수 잘 초기화하기

  #53 opened 5 years ago by efenniht
  0

• Tracking issue: missing features of Rust for idiomatic refactoring of Hafnium

  #69 opened 5 years ago by efenniht
  0

• Implement so called `placement new` for Page

  #67 opened 5 years ago by efenniht
  2

• A trait generalizing MPool

  #35 opened 5 years ago by efenniht
  1

• Refactor `api_init`

  #31 opened 5 years ago by efenniht
  2

• Use compare-and-swap instead of swap in SpinLock::acquire?

  #63 opened 5 years ago by jeehoonkang
  0

• c2rust 돌려보기

  #62 opened 5 years ago by jeehoonkang
  3

• Make VCpuInner an enum: (1) Cpu or (2) state+regs

  #66 opened 5 years ago by jeehoonkang
  1

• Tracking unsafety statistics

  #56 opened 5 years ago by efenniht
  5

• fake -> cfg(test)?

  #65 opened 5 years ago by jeehoonkang
  0

• “pub fn api_” in hypervisor.rs: api_는 없어도 될듯

  #61 opened 5 years ago by jeehoonkang
  0

• Global unsafe functions into safe methods (API)

  #17 opened 5 years ago by efenniht
  1

• mpool_enable_locks() does nothing

  #60 opened 5 years ago by jeehoonkang
  0

• FdtNode<'static> is ... dangerous?

  #59 opened 5 years ago by efenniht
  1

• Modeling an object for `api.rs`?

  #44 opened 5 years ago by jeehoonkang
  0

• unsafe 양을 측정?

  #33 opened 5 years ago by jeehoonkang
  10

• INITED에 대하여

  #55 opened 5 years ago by efenniht
  1

• Refactoring: big picture.

  #11 opened 5 years ago by efenniht
  1

• Remaining C files

  #32 opened 5 years ago by efenniht
  0

• Refactor FDT

  #54 opened 5 years ago by efenniht
  0

• pCPU initialization order and `boot_cpu_id`

  #51 opened 5 years ago by efenniht
  0

• Stack-consuming ArrayVec

  #50 opened 5 years ago by efenniht
  4

• Refactor `Stage2::invalidate_tlb` not to read the singleton

  #49 opened 5 years ago by efenniht
  0

• `CStr` related functions

  #48 opened 5 years ago by efenniht
  1

• Make a custom target for unit test

  #46 opened 5 years ago by efenniht
  0

• Reading papers related to ours

  #23 opened 5 years ago by efenniht
  2

• Resolve race condition in `dlog`

  #14 opened 5 years ago by efenniht
  3

• TwoVmLocked 왜 필요한가요?

  #42 opened 5 years ago by jeehoonkang
  2

• Clean up page table-related functions using RAII

  #29 opened 5 years ago by efenniht
  0

• Remove unneccessary `pub`s.

  #12 opened 5 years ago by efenniht
  1

• Use `Result` to represent success or fail.

  #34 opened 5 years ago by efenniht
  1

• Use `SpinLock` instead of `RawSpinLock`

  #20 opened 5 years ago by efenniht
  0

• `enable_and_pending_count` is not locked but accessed

  #26 opened 5 years ago by efenniht
  7

• A bug in `SpinLockGuard::into_raw`

  #37 opened 5 years ago by efenniht
  1

• Race on `dlog_flush_vm_buffer`

  #28 opened 5 years ago by efenniht
  8

• Preparing poster session in SIGPL summer school

  #24 opened 5 years ago by efenniht
  3

• Too many warnings

  #38 opened 5 years ago by jeehoonkang
  0

• Which data structures can we modify their layout?

  #21 opened 5 years ago by efenniht
  4

• `vm.ptable.root` is not locked but accessed

  #30 opened 5 years ago by efenniht
  3

• Use better types instead of constants and unions

  #13 opened 5 years ago by efenniht
  4

• Cross-language LTO

  #25 opened 5 years ago by efenniht
  0

• Organize types.rs

  #16 opened 5 years ago by efenniht
  0

• Filename convention

  #15 opened 5 years ago by efenniht
  0