L.O.B.S.T.E.R. Traceability Report

Generated: 2026-10-19 01:21 UTC

LOBSTER Version: 1.0.6

Tracing Policy

Coverage Summary

Category	Coverage	OK Items	Total Items
Feature Requirements	100.0%	55	55
Failure Modes	50.0%	35	70
Root Causes	37.0%	60	162
Safety Measures	73.7%	28	38

Issues

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.BindingSelectionFaulty

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CallSignalledBeforeInArgsCompletelyProvided

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CalledEventhoughStopfindserviceHasBeenCalled

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CalledReduandently

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CalleeConcurrentlyUpdatesResultAfterSignaling

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CalleeProvidedResultInWrongLayout

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CalleeProvidedResultInWrongLocation

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CalleeSignalledCallFinishedBeforeResultComplete

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CalleeUsedInArgsBeforeBeingProvided

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CalleeUsedInArgsFromWrongLocation

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CalleeUsedInArgsInWrongLayout

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CalleeUsedInArgsWhileConcurrentlyUpdated

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CallerProvidedInArgsInWrongLocation

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CallerUsedResultBeforeFullyProvided

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CallerUsedResultFromWrongLocation

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CallerUsedResultInWrongLayout

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CallerUsedResultWhileConcurrentlyUpdated

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ChangingStateFails

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ConsumerLookedUpSizeInWrongLocation

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CopyOnSendDoesNotDestroySampleallocateeptr

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.CounterOfInvokedCallbacksIsWrong

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.DependentPrepareOfferFailed

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.DependentPrepareOfferNotCalled

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.DestructionOfSampleallocateeptrDoesNotTriggerStateChange

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.DifferentlyConfiguredBetweenSkletonAndProxySide

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.DirectAccessToDataViaAllocateePtr

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.DirectAccessToDataViaCopy

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.DoesNotFreeMethodSignatureElement

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.EventFieldIdReferencesWrongStorage

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.EventFieldNameMappingClash

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.EventInstanceAPICalledInAReentrantManner

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ExplicitUnsubscribeByUserFailed

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.FilenameCreationFromConfigFailed

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.GenericTraceapiChangesData

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.InArgsCorruptedBy3rdParty

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.InArgsUpdateAfterCall

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.InArgsWrongLayout

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.IncreasingDecreasingRefCountFails

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.IndicationWhetherFormatIsSerializedWronglyImplemented

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.InotifyReturnsWrongInformation

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.InstanceSpecifierResolutionBrokenNotOffered

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.InstanceSpecifierResolutionBrokenWrongBinding

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.InstanceSpecifierResolutionFaulty

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.InstancespecifierResolvedToWrongInstanceidentifier

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.LifeCycleIssuesElementPtr

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.MessagePassingCorruptsTheMaxSampleValue

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.MethodIdCorrupted

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.NoUnmapOnDestruction

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.NotAllEventsArePopulated

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.NotCreatedAtAll

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.OfferCallDidNotCheckIfUserProvidedFieldValues

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.OfferStateInconsistent

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.OsCreatesFileWithWrongName

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.OsRelatedFunctionalityFailed

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.OverwriteOfElementInUse

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ProxyCrashesWithoutUnsubscription

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ReferenceCountingFacilityForSampleptrIsBroken

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ReferencesInvalidMemory

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ReferencesValidMemoryInsideSHM

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ReferencesValidMemoryOutsideSHM

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.RootCauseAllocatesAlreadyAllocatedMemory

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.RootCauseDoesNotImplicitRemoveReceiveHandler

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.RootCauseDoesNotSubscribe

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.RootCauseGetNewSamplesSucceedsDespiteAnError

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.RootCauseReturnsWrongFreeSampleCount

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.RootCauseWrongStartFindServiceIsStopped

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.RootCauseWronglyAlignedMemoryAllocated

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SDClientMarkerFileNotFound

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SDClientMarkerFileWrongPath

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SDClientWrongMarkerFile

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SDFileDeletionFailure

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SDNotifyFailed

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SDNotifyWrongFD

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SHMObjectWrongPath

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ServiceInstanceUsageLockMechanismFailed

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ServiceInstanceUsageNotChecked

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ServiceWasAlreadyOfferedByOurProcess

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ServiceWasAlreadyOfferedByPreviousDiedProcess

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ServiceWasOfferedButNotUnlikedOnStopOffer

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.ServiceWasOfferedByAnotherProcess

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SharedMemoryIsOpenedEventhoughFileDoesNotExist

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SharedMemoryObjectDoesNotExist

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SharedMemorySegmentDoesNotTryToCreateSegment

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SharedMemorySegmentIsNotUnlinked

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SharedMemorySegmentsAreCreatedUnderWrongName

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SizeWasManipulatedInSharedMemory

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SizeWasWronglySetInSharedMemory

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SlotReferenceBrokenEGNonValid

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.SlotReferenceCountNotDecremented

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.UserMethodCallHandlerAssignmentWrong

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WatchesAreSetWrongly

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WritingStateChangeIsNotWorking

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WrongAcl

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WrongDirectoryStructure

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WrongMarkerFileName

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WrongMemoryResourceProxy

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WrongName

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WrongNameOfSharedMemorySegment

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WrongPathResolvedFromInstanceidentifier

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WrongProvider

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WrongServiceDiscoveryMarkerFileSearchedFor

• [PARTIAL — no trace to: Safety Measures] mw_com_fta.WrongValueIsPassedToMessagePassingLibrary

• [MISSING — no upward trace] Communication.NoNotificationOnTerminationOfProducer

• [MISSING — no upward trace] Communication.NoCopySendWhileHoldingAllocateePtr

• [MISSING — no upward trace] Communication.NoneReentrantMethodsPerEventInstance

• [MISSING — no upward trace] Communication.UsageOfConfigurationOversubscription

• [MISSING — no upward trace] Communication.SameCompilerSettingsForProviderAndConsumerSide

• [MISSING — no upward trace] Communication.EventOrFieldReceptionViaGenericProxyNeedsSpecificCare

• [MISSING — no upward trace] Communication.CorrectlyConfiguredEventsFieldsPerServiceType

• [MISSING — no upward trace] Communication.NoGuaranteeOnSubscriptionStateCorrectness

• [MISSING — no upward trace] Communication.NoCreationOfServiceElements

• [MISSING — no upward trace] Communication.NoMoveOfServiceElements

• [MISSING — unknown target: req mw.com.Runtime.Initialize] Communication.InMemoryConfigurationWrong

• [MISSING — unknown target: req score.mw.com.runtime.InitializeRuntime] Communication.CodeDoesNotMatchConfiguration

• [MISSING — unknown target: req mw.com.Skeleton.Create] Communication.CreationOfSkeletonNotPossible

• [MISSING — unknown target: req mw.com.Skeleton.OfferService] Communication.ServiceOfferedWithoutInitialFieldValue

• [MISSING — unknown target: req mw.com.Skeleton.OfferService] Communication.ServiceNotOffered

• [MISSING — unknown target: req mw.com.Skeleton.OfferService] Communication.ServiceOfferedOnWrongBinding

• [MISSING — unknown target: req mw.com.Skeleton.OfferService] Communication.ServiceOfferedUnderWrongIds

• [MISSING — unknown target: req mw.com.Skeleton.OfferService] Communication.OffersAlreadyOfferedService

• [MISSING — unknown target: req mw.com.Skeleton.OfferService] Communication.ServiceOnlyPartiallyOffered

• [MISSING — unknown target: req mw.com.Event.Allocate] Communication.TooFewMemoryAllocated

• [MISSING — unknown target: req score.mw.com.SkeletonEvent.Allocate] Communication.WronglyAlignedMemoryAllocated

• [MISSING — unknown target: req mw.com.Event.Send] Communication.SendingEventChangesUserData

• [MISSING — unknown target: req mw.com.Event.Send] Communication.SendingAnEventOrFieldSendsDataOnlyPartially

• [MISSING — unknown target: req mw.com.Event.Send] Communication.SendingEventOnlyPartiallyNotifiesConsumer

• [MISSING — unknown target: req mw.com.Event.Send] Communication.SendingEventSendsToWrongConsumer

• [MISSING — no trace to: Root Causes] Communication.SendingEventSendsToWrongConsumer

• [MISSING — unknown target: req mw.com.Event.Send] Communication.SendingAnEventOrFieldSendsSameSampleNtimes

• [MISSING — no trace to: Root Causes] Communication.SendingAnEventOrFieldSendsSameSampleNtimes

• [MISSING — unknown target: req mw.com.Event.Send] Communication.SendingEventDoesNotFreeResources

• [MISSING — unknown target: req mw.com.Skeleton.Destroy] Communication.WrongResourcesFreed

• [MISSING — unknown target: req mw.com.Skeleton.Destroy] Communication.NoResourcesFreed

• [MISSING — unknown target: req mw.com.Skeleton.Destroy] Communication.EarlyCleanUp

• [MISSING — unknown target: req mw.com.Proxy.StartFindService] Communication.StartFindServiceCallbackCalledUnexpectedly

• [MISSING — unknown target: req mw.com.Proxy.FindService] Communication.ServiceNotFound

• [MISSING — unknown target: req mw.com.Proxy.FindService] Communication.WrongServiceFound

• [MISSING — unknown target: req mw.com.Proxy.FindService] Communication.ServiceIsFoundButDoesNotExist

• [MISSING — unknown target: req score.mw.com.GenericProxyEvent.SetReceiveHandler] Communication.ReceiveHandlerNotInvoked

• [MISSING — unknown target: req score.mw.com.GenericProxyEvent.SetReceiveHandler] Communication.ReceiveHandlerInvokedWithWrongEvent

• [MISSING — unknown target: req score.mw.com.GenericProxyEvent.SetReceiveHandler] Communication.ReceiveHandlerInvokedMultipleTimes

• [MISSING — unknown target: req score.mw.com.GenericProxyEvent.SetReceiveHandler] Communication.ReceiveHandlerInvokedWithoutEventNotification

• [MISSING — unknown target: req mw.com.Event.GetNewSamples] Communication.GetNewSamplesSucceedsDespiteAnError

• [MISSING — no trace to: Root Causes] Communication.MapContainingNonexistentEvents

• [MISSING — no trace to: Root Causes] Communication.IncompleteMapOfEvents

• [MISSING — unknown target: req mw.com.GenericProxyEvent.GetDataTypeSizeInfo] Communication.TheSizeReturnedIsBiggerThenTheActualValue

• [MISSING — unknown target: req mw.com.GenericProxyEvent.GetDataTypeSizeInfo] Communication.TheSizeReturnedIsSmallerThenTheActualSize

• [MISSING — unknown target: req mw.com.GenericProxyEvent.HasSerializedFormat] Communication.WrongIndicationIfFormatIsSerialized

• [MISSING — unknown target: req score.mw.com.SampleAllocateePtr<SampleType>] Communication.DoesNotReserveResources