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 = 
OperationVocabulary::FA1003_TARGETS
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 



27
28
29
30
31
32
 
# File 'lib/fiber_audit/static/rules/synchronization.rb', line 27

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