summaryrefslogtreecommitdiff
path: root/kernel/trace/rv
AgeCommit message (Expand)AuthorFilesLines
2025-04-12rv: Fix out-of-bound memory access in rv_is_container_monitor()Nam Cao1-1/+6
2025-04-02rv: Fix missing unlock on double nested monitors return pathGabriele Monaco1-1/+2
2025-03-25rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco15-0/+534
2025-03-25rv: Add snroc per-task monitorGabriele Monaco7-0/+164
2025-03-25rv: Add sco and tss per-cpu monitorsGabriele Monaco11-0/+337
2025-03-25rv: Add option for nested monitors and include schedGabriele Monaco10-28/+216
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco4-0/+6
2024-12-27verification/dot2k: Auto patch current kernel sourceGabriele Monaco3-1/+4
2024-12-27rv: Simplify manual steps in monitor creationGabriele Monaco10-26/+189
2024-10-05rv: Fix a typoAndrew Kreimer1-1/+1
2024-09-27[tree-wide] finally take no_llseek outAl Viro2-4/+0
2024-05-22rv: Update rv_en(dis)able_monitor doc to match kernel-docYang Li1-0/+2
2023-04-29Merge tag 'trace-tools-v6.4' of git://git.kernel.org/pub/scm/linux/kernel/git...Linus Torvalds1-2/+0
2023-04-26rv: Remove redundant assignment to variable retvalColin Ian King1-2/+0
2023-04-13rv/reactor: remove MODULE_LICENSE in non-modulesNick Alcock2-2/+0
2023-01-25rv: remove redundant initialization of pointer ptrColin Ian King1-1/+1
2022-12-20rv/monitors: Move monitor structure in rodataAlessandro Carminati2-2/+2
2022-09-27rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng2-4/+4
2022-09-26rv/monitors: add 'static' qualifier for local symbolsZeng Heng2-4/+4
2022-09-07rv/reactor: add __init/__exit annotations to module init/exit funcsXiu Jianfeng2-4/+4
2022-09-07rv/monitors: Make monitor's automata definition staticDaniel Bristot de Oliveira2-2/+2
2022-08-05rv: Unlock on error path in rv_unregister_reactor()Dan Carpenter1-2/+4
2022-07-30rv/reactor: Add the panic reactorDaniel Bristot de Oliveira3-0/+52
2022-07-30rv/reactor: Add the printk reactorDaniel Bristot de Oliveira3-1/+52
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira4-0/+146
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira3-36/+29
2022-07-30rv/monitor: Add the wip monitor skeleton created by dot2kDaniel Bristot de Oliveira2-0/+155
2022-07-30Documentation/rv: Add a basic documentationDaniel Bristot de Oliveira2-0/+6
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira2-0/+16
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira5-0/+564
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira4-0/+830
generated by cgit v1.2.3 (git 2.39.0) at 2025-08-21 13:06:42 +0300