[B! verify][linux] masterqのブックマーク

masterq id:masterq

verifyとlinuxに関するmasterqのブックマーク (23)

https://dl.acm.org/doi/abs/10.1145/3552326.3567504
masterq 2023/07/20
linux

kernel

verify

memory

paper

あとで読む
リンク
Efficient runtime verification for the Linux kernel - Red Hat Research
masterq 2023/02/26
よく分からないけどオートマトンで記した仕様が実行時に逸脱しないか動的に検証する話なんですか？

verify

runtime

linux

kernel

spec

specification

model

automata
リンク
Kernel Electric-Fence (KFENCE) — The Linux Kernel documentation
masterq 2021/04/28
memory

error

linux

verify

kernel
リンク
GitHub - uw-unsat/yggdrasil
masterq 2021/04/18
verify

z3

filesystem

linux

fuse

python

os
リンク
http://www-public.imtbs-tsp.eu/~thomas_g/research/biblio/2011/palix11asplos-faults.pdf
masterq 2021/03/31
2.6系のLinux kernelでもデバドラの不具合が大きい。またBlockとInullの不具合が突出して増加している。ただしツールを使ったエラーの検出なのでレポートされた不具合を分析した訳ではない。

linux

kernel

bug

paper

history

verify
リンク
GitHub - tapaswenipathak/Linux-Kernel-Infer: Linux Kernel Infer research.
masterq 2021/02/19
"Analysis"に目を通す必要がある。"Other Publications"も必読。

あとで読む

c

infer

linux

kernel

verify

memory
リンク
BEJOCAMA
masterq 2020/07/02
Debian sidだとscripts/build_crosstool.shの実行に失敗する。レポートして様子見。

linux

kernel

ats

language

verify
リンク
The Kernel Address Sanitizer (KASAN) — The Linux Kernel documentation
masterq 2020/06/15
"KernelAddressSANitizer (KASAN) is a dynamic memory error detector. It provides a fast and comprehensive solution for finding use-after-free and out-of-bounds bugs." 数々のバグレポートがCVEに登録されている

kasan

linux

kernel

verify

memory
リンク
exida - Functional Safety Services, IACS Cybersecurity, Alarm Management, IEC 61508 Certification
masterq 2020/05/13
Linuxのコードも検証できるって本当ですか？

linux

code

verify

source
リンク
2017-10-24_SIL2LinuxMP-v4-overlays
masterq 2020/05/13
"System Architecture A,B,C"の比較がわかりやすい。結局RAM/CPU/プロセスを分割して管理することで隔離しようということ？

verify

slide

linux

safety

safe

sil
リンク
ELISA - Advancing Linux in Safety-Critical Systems - ELISA
masterq 2020/05/13
まだ具体的な内容はこれからということだろうか

linux

verify

safe

safety
リンク
kernel/git/cmarinas/kernel-tla.git - Kernel TLA+ specs
index : kernel/git/cmarinas/kernel-tla.git Kernel TLA+ specsCatalin Marinas aboutsummaryrefslogtreecommitdiffstats BranchCommit messageAuthorAge masterasidalloc: Fix inadvertently removed line from UniqueASIDActiveTaskCatalin Marinas3 years AgeCommit messageAuthorFilesLines 2021-09-10asidalloc: Fix inadvertently removed line from UniqueASIDActiveTaskHEADmasterCatalin Marinas1-17/+19 2021-08-05asid
masterq 2019/04/17
世界は確実により良くなっているんだ。あとで読もう

kernel

linux

tla+

verify

model

あとで読む
リンク
syncstitch_install_memo
masterq 2018/10/09
syncstitchのインストール手順

verify

install

syncstitch

linux

windows

doc

japanese
リンク
Linux Deductive Verification | Linux Verification Center
masterq 2018/06/15
2017年までは活動してたのか。。。

verify

linux

kernel

c

language

why3

frama-c
リンク
https://www.semanticscholar.org/paper/Static-Analysis-of-the-XEN-Kernel-using-Frama-C-Puccetti/44fa1ee788d5fdc7e5a3345841fbbc2147312e13
masterq 2018/06/15
なんと。でも一部を検証するだけでも30分もかかるんですね。。。

xen

verify

frama-c

hypervisor

linux
リンク
Linux Linux Kernel : Security vulnerabilities, CVEs
masterq 2018/06/03
どう考えても検証が必要。脆弱性の多い部品を検査対象に選んだ方が良いのでは

secure

security

linux

kernel

verify
リンク
Sign in - Google Accounts
masterq 2018/02/22
"a linux distribution with a number of verification tools pre-installed and ready to run." VeriFastが入ってた。 http://verifythus.cost-ic0701.org/included-tools も合わせて読みたい

verify

linux

verifast

boogie

z3
リンク
http://d3s.mff.cuni.cz/research/seminar/download/2009-12-08-Khoroshilov-LinuxDriverVerification.pdf
masterq 2017/06/10
ldv

linux

kernel

driver

verify

slide
リンク
Linux Driver Verification
masterq 2017/06/10
あとで読む

ldv

linux

kernel

driver

verify

book
リンク
Overview - Linux Driver Verification - Open-Source Projects
masterq 2017/06/10
ldv

linux

kernel

driver

verify
リンク
1 2 次のページ

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx