Class: FiberAudit::Static::Rules::Synchronization

Inherits:
Base
  • Object
show all
Defined in:
lib/fiber_audit/static/rules/synchronization.rb

Constant Summary collapse

RULE_TITLE = 
'Thread synchronization'
RULE_CATEGORY = 
:synchronization
TARGETS = 
{
  'Mutex' => %i[lock synchronize try_lock],
  'ConditionVariable' => %i[wait],
  'Monitor' => %i[synchronize],
  'MonitorMixin' => %i[synchronize]
}.freeze
TRY_LOCK_MSG = 
'Mutex.try_lock is non-blocking but may indicate ' \
'thread-oriented synchronization in fiber-scheduled code.'
NORMAL_MSG = 
'Synchronization operation may block the thread running the fiber scheduler.'
REMEDIATION = 
'Use scheduler-aware synchronization primitives, or verify ' \
'contention and scheduler behaviour under load.'

Constants inherited from Base

Base::CONTEXT_CEILING

Instance Method Summary collapse

Methods inherited from Base

confidence, default_confidence, default_severity, description, id, #initialize, severity

Constructor Details

This class inherits a constructor from FiberAudit::Static::Rules::Base

Instance Method Details

#analyze(call_sites:) ⇒ Object 



31
32
33
34
35
36
 
# File 'lib/fiber_audit/static/rules/synchronization.rb', line 31

def analyze(call_sites:)
  explicit_monitor_mixins = explicit_monitor_mixin_classes(call_sites)
  call_sites.filter_map { |site| check(site, explicit_monitor_mixins) }
rescue StandardError
  []
end