ClangBuiltLinux thread-safety-analysis issues

ClangBuiltLinux / thread-safety-analysis

A research project into applying Clang's Thread Safety Analysis to the Linux Kernel

Other

6 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

__capability(x) macro conflicts with CHERI C qualifier

#171 jrtc27 opened 2 years ago
0
drivers/gpu/drm/drm_dp_mst_topology.c: drm_dp_mst_wait_tx_reply: use same alias for locking&unlocking

#170 bulwahn opened 4 years ago
0
drivers/gpu/drm/drm_dp_helper.c: {lock,unlock}_bus: cannot annotate due to aliasing

#169 bulwahn opened 4 years ago
0
drivers/gpu/drm/i915/intel_i2c.c: gmbus_{lock,unlock}_bus: cannot annotate due to aliasing

#168 bulwahn opened 4 years ago
0
drivers/gpu/drm/i915/intel_dp.c: pps_{lock,unlock}: cannot annotate due to aliasing

#167 bulwahn opened 4 years ago
0
drivers/gpu/drm/i915/i915_gem_userptr.c: __i915_mm_struct_free: cannot annotate due to aliasing

#166 bulwahn opened 4 years ago
0
drivers/gpu/drm/i915/i915_gem_userptr.c: userptr_mn_invalidate_range_start: complex coniditonal locking within a loop & conditional unlocking

#165 bulwahn opened 4 years ago
0
drivers/gpu/drm/i915/i915_gem_shrinker.c: shrinker_{lock,unlock}: complex locking/unlocking functions

#164 bulwahn opened 4 years ago
0
fs/eventpoll.c: SYSCALL_DEFINE4(epoll_ctl,...): uses `tep->mtx` conditionally when `is_file_epoll(tf.file)`

#163 bulwahn opened 4 years ago
0
fs/eventpoll.c: SYSCALL_DEFINE4(epoll_ctl,...): uses epmutex conditionally when full_check is set

#162 bulwahn opened 4 years ago
0
drivers/gpu/drm/i915/i915_reset.c: i915_gem_unset_wedged: use same alias for locking&unlocking

#161 bulwahn opened 4 years ago
0
kernel/rcu/srcutree.c: srcu_advance_state: analysis must understand underlying state machine

#160 bulwahn opened 4 years ago
0
drivers/usb/class/usblp.c: usblp_read(): further investigation why this is not handled properly

#159 bulwahn opened 4 years ago
0
kernel/seccomp.c: seccomp_set_mode_filter(): mutex `cred_guard_mutex` conditionally locked and unlocked

#158 bulwahn opened 4 years ago
0
fs/nfs/write.c: nfs_scan_commit_list:() cannot annotate with requires due to limitations on allowed terms

#157 bulwahn opened 4 years ago
1
fs/lockd/svclock.c: nlmsvc_free_block(): cannot annotate due to aliasing

#156 bulwahn opened 4 years ago
0
fs/lockd/host.c: use of refcount_dec_and_mutex_lock()

#155 bulwahn opened 4 years ago
0
fs/fat/inode.c: fat_{lock,unlock}_build_inode: conditional lock and unlock functions

#154 bulwahn opened 4 years ago
0
fs/autofs/waitq.c: validate_request, autofs_wait: cannot annotate due to complex specification

#153 bulwahn opened 4 years ago
0
mm/hugetlb.c: hugetlb_no_page(): cannot annotate due to aliasing

#152 bulwahn opened 4 years ago
0
net/sunrpc/rpc_pipe.c: rpc_{get,put}_sb_net

#151 bulwahn opened 4 years ago
0
fs/ext4/mballoc.c: ext4_mb_{group_or_file, release_context}: cannot handle complex specification

#150 bulwahn opened 4 years ago
0
kernel/acct.c: slow_acct_process: cannot annotate due to aliasing/lexical scoping

#149 bulwahn opened 4 years ago
0
kernel/acct.c: acct_get(): cannot annotate due to aliasing

#148 bulwahn opened 4 years ago
0
kernel/trace/trace_uprobe.c: probe_buffer_{get,put}: needs annotation with reference to return value

#147 bulwahn opened 4 years ago
0
drivers/net/ethernet/intel/e1000e/82571.c: e1000_reset_hw_82571: uses swflag_mutex conditionally

#146 bulwahn opened 4 years ago
0
kernel/trace/trace_stat.c: stat_seq_{start,stop}: cannot annotate due to aliasing

#145 bulwahn opened 4 years ago
0
kernel/trace/trace.c: tracing_wait_pipe: cannot annotate due to aliasing

#144 bulwahn opened 4 years ago
0
kernel/trace/trace.c: trace_access_{lock,unlock}: expression resolution issue and conditional locking and unlocking

#143 bulwahn opened 4 years ago
0
kernel/events/core.c: perf_event_set_filter: cannot annotate due to aliasing

#142 bulwahn opened 4 years ago
0
mm/page_alloc.c: false positive due to unavailablity of required annotation

#141 himanshujha199640 opened 5 years ago
0
kernel/sched/fair.c: conditional locking/unlocking dependent on a variable

#140 himanshujha199640 opened 5 years ago
0
include/net/sch_generic.h: conditional locking qdisc_run_begin

#139 himanshujha199640 opened 5 years ago
0
include/linux/kref.h: can't annotate kref_put_lock

#138 himanshujha199640 opened 5 years ago
0
Determine how to annotate code for use with sparse and clang thread safety analysis

#137 bulwahn opened 5 years ago
8
fs/autofs/expire.c: can't annotate get_next_positive_dentry

#136 himanshujha199640 opened 5 years ago
0
fs/autofs/expire.c: can't annotate get_next_positive_subdir

#135 himanshujha199640 opened 5 years ago
0
kernel/panic.c: false positive as spin_lock_irqsave is not annotated currently

#134 himanshujha199640 opened 5 years ago
0
kernel/workqueue.c: can't annotate __queue_work

#133 himanshujha199640 opened 5 years ago
0
fs/dcache.c: conditional unlocking in d_splice_alias

#132 himanshujha199640 opened 5 years ago
0
fs/dcache.c: can't annotate __d_move precisely

#131 himanshujha199640 opened 5 years ago
0
fs/dcache.c: conditional locking in d_add

#130 himanshujha199640 opened 5 years ago
0
fs/dcache.c: conditional unlocking in __d_add

#129 himanshujha199640 opened 5 years ago
0
fs/dcache.c: can't annotate d_delete precisely

#128 himanshujha199640 opened 5 years ago
0
fs/dcache.c: can't annotate d_walk

#127 himanshujha199640 opened 5 years ago
0
fs/inode.c: can't annotate lru_status dentry_lru_isolate

#126 himanshujha199640 opened 5 years ago
0
fs/dcache.c: can't annotate shrink_dentry_list

#125 himanshujha199640 opened 5 years ago
0
fs/dcache.c: can't annotate shrink_lock_dentry precisely

#124 himanshujha199640 opened 5 years ago
0
fs/dcache.c: can't annotate d_prune_aliases precisely

#123 himanshujha199640 opened 5 years ago
0
net/unix/af_unix.c: unix_dgram_recvmsg: control flow too complicated to handle

#122 bulwahn opened 5 years ago
0