lib/symbioticpy/symbiotic/targets/tool.py
def compilation_options(self):
        """
        List of compilation options specific for the tool
        """
        opts = []
        if self._options.property.undefinedness():
            opts.append('-fsanitize=undefined')
            opts.append('-fno-sanitize=unsigned-integer-overflow')
        elif self._options.property.signedoverflow():
            opts.append('-fsanitize=signed-integer-overflow')
            opts.append('-fsanitize=shift')

        return opts

        List of compilation options specific for the tool
        
List of compilation options specific for the tool
List of compilation options specific for the tool
def compilation_options(self):
        opts = []
        if self._options.property.undefinedness():
            opts.append('-fsanitize=undefined')
            opts.append('-fno-sanitize=unsigned-integer-overflow')
        elif self._options.property.signedoverflow():
            opts.append('-fsanitize=signed-integer-overflow')
            opts.append('-fsanitize=shift')
        return opts
def compilation_options ( self ) : opts = [ ] if self . _options . property . undefinedness ( ) : opts . append ( '-fsanitize=undefined' ) opts . append ( '-fno-sanitize=unsigned-integer-overflow' ) elif self . _options . property . signedoverflow ( ) : opts . append ( '-fsanitize=signed-integer-overflow' ) opts . append ( '-fsanitize=shift' ) return opts
List of compilation options specific for the tool
List of compilation options specific for the tool
"""
        List of compilation options specific for the tool
        """
self