lib/symbioticpy/symbiotic/targets/tool.py
def slicer_options(self):
        """
        Returns tuple (c, opts) where c is the slicing
        criterion and opts is a list of options
        """

        if self._options.full_instrumentation:
            # all is reachability
            return (self._options.slicing_criterion,[])

        if self._options.property.memsafety():
            # default config file is 'config.json'
            # slice with respect to the memory handling operations
            return ('__INSTR_mark_pointer,__INSTR_mark_free,__INSTR_mark_allocation,__INSTR_mark_exit',
                    ['-memsafety'])

        elif self._options.property.memcleanup():
            # default config file is 'config.json'
            # slice with respect to the memory handling operations
            # (exit causes leaks)
            return ('__INSTR_mark_free,__INSTR_mark_allocation,__INSTR_mark_exit',
                    ['-memsafety'])

        if self._options.property.termination():
            # have explicitly also __assert_fail, because otherwise it is going
            # to be sliced away from __INSTR_fail
            return ('__INSTR_fail,__assert_fail,__VERIFIER_silent_exit,__INSTR_check_assume',
                    ['-cd-alg=ntscd'])

        if self._options.property.nullderef():
            # default config file is 'config.json'
            # slice with respect to the memory handling operations
            return ('__INSTR_mark_pointer', ['-criteria-are-next-instr'])

        return (self._options.slicing_criterion,[])

        Returns tuple (c, opts) where c is the slicing
        criterion and opts is a list of options
        
Returns tuple (c, opts) where c is the slicing
criterion and opts is a list of options
Returns tuple ( c opts ) where c is the slicing criterion and opts is a list of options
def slicer_options(self):
        if self._options.full_instrumentation:
            return (self._options.slicing_criterion,[])
        if self._options.property.memsafety():
            return ('__INSTR_mark_pointer,__INSTR_mark_free,__INSTR_mark_allocation,__INSTR_mark_exit',
                    ['-memsafety'])
        elif self._options.property.memcleanup():
            return ('__INSTR_mark_free,__INSTR_mark_allocation,__INSTR_mark_exit',
                    ['-memsafety'])
        if self._options.property.termination():
            return ('__INSTR_fail,__assert_fail,__VERIFIER_silent_exit,__INSTR_check_assume',
                    ['-cd-alg=ntscd'])
        if self._options.property.nullderef():
            return ('__INSTR_mark_pointer', ['-criteria-are-next-instr'])
        return (self._options.slicing_criterion,[])
def slicer_options ( self ) : if self . _options . full_instrumentation : return ( self . _options . slicing_criterion , [ ] ) if self . _options . property . memsafety ( ) : return ( '__INSTR_mark_pointer,__INSTR_mark_free,__INSTR_mark_allocation,__INSTR_mark_exit' , [ '-memsafety' ] ) elif self . _options . property . memcleanup ( ) : return ( '__INSTR_mark_free,__INSTR_mark_allocation,__INSTR_mark_exit' , [ '-memsafety' ] ) if self . _options . property . termination ( ) : return ( '__INSTR_fail,__assert_fail,__VERIFIER_silent_exit,__INSTR_check_assume' , [ '-cd-alg=ntscd' ] ) if self . _options . property . nullderef ( ) : return ( '__INSTR_mark_pointer' , [ '-criteria-are-next-instr' ] ) return ( self . _options . slicing_criterion , [ ] )
Returns tuple (c, opts) where c is the slicing
criterion and opts is a list of options
Returns tuple ( c opts ) where c is the slicing criterion and opts is a list of options
"""
        Returns tuple (c, opts) where c is the slicing
        criterion and opts is a list of options
        """ # all is reachability # default config file is 'config.json' # slice with respect to the memory handling operations # default config file is 'config.json' # slice with respect to the memory handling operations # (exit causes leaks) # have explicitly also __assert_fail, because otherwise it is going # to be sliced away from __INSTR_fail # default config file is 'config.json' # slice with respect to the memory handling operations
self