403WebShell

403Webshell

Server IP : 82.208.35.60 / Your IP : 216.73.217.116
Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31
System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64
User : studiokobylisy_cz ( 1008)
PHP Version : 7.3.31
Disable Function : NONE
MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF
Directory : /usr/ports/devel/ikos/files/

Upload File :

[ Back ]

Current File : /usr/ports/devel/ikos/files/patch-analyzer_python_ikos_analyzer.py

--- analyzer/python/ikos/analyzer.py.orig	2018-12-14 07:13:50 UTC
+++ analyzer/python/ikos/analyzer.py
@@ -554,10 +554,10 @@ def clang(bc_path, cpp_path, colors=True
     # For #include <ikos/analyzer/intrinsic.hpp>
     cmd += ['-isystem', settings.INCLUDE_DIR]
 
-    if colors:
-        cmd.append('-fcolor-diagnostics')
-    else:
-        cmd.append('-fno-color-diagnostics')
+    #if colors:
+    #    cmd.append('-fcolor-diagnostics')
+    #else:
+    #    cmd.append('-fno-color-diagnostics')
 
     if cpp_path.endswith('.cpp'):
         cmd.append('-std=c++14')  # available because clang >= 4.0

Youez - 2016 - github.com/yon3zu
LinuXploit