原创 git clone速度太慢解決方法 git clone 顯著提速，解決Github代碼拉取速度緩慢問題
git clone 顯著提速，解決Github代碼拉取速度緩慢問題 原創 catn1p 最後發佈於2018-08-10 11:28:43 閱讀數 32583 收藏
2020-07-02 09:51:36
1
原创 KLEE安裝
KLEE簡介 KLEE是一個構建在LLVM編譯器之上的符號虛擬機，在UIUC開源許可下可用。有關KLEE的具體細節，可以參考這篇論文:OSDI 2008。 安裝流程 說明：文本安裝全程參照官網說明：http://klee.github.i
2020-07-02 08:32:08
原创 CMake是什麼？有什麼用？ CMake是什麼？有什麼用？
CMake是什麼？有什麼用？ 原創 AndrewZhou924 最後發佈於2018-05-19 09:05:20 閱讀數 10989 收藏 發佈於2018-05-
2020-07-02 08:32:08
13
原创 windows下使用cmake+mingw配置makefile windows下使用cmake+mingw配置makefile(一)
windows下使用cmake+mingw配置makefile(一) 原創 xiaopangzi313 最後發佈於2016-11-10 14:57:13 閱讀數 15894
2020-07-02 08:32:08
原创 CMake指令 CMake簡單指令：CMake學習筆記（一）
CMake簡單指令：CMake學習筆記（一） 原創 pix_csdn 最後發佈於2019-05-21 10:06:36 閱讀數 597 收藏 發佈於2019-05
2020-07-02 08:32:07
36
原创 c語言程序的執行過程(以輸出hello,world爲例)
1.c源文件的存儲任何數據在計算機中都以二進制的樣式進行存儲，即0和1兩種存儲表示，那麼c源文件中的各種字符要想存儲在計算機中作爲可執行的指令，那麼必須得以二進制0或1的形式存儲在其中，因此，需要將c源文件的需要被以某種方式“翻
2020-03-26 07:08:25
原创 CPAChecker安裝
1.CPAChecker是什麼？ 相關連接： CPAChecker官網：https://cpachecker.sosy-lab.org/doc.php 官網對應的翻譯：https://blog.csdn.net/weixin_415299
2020-02-24 16:24:47
原创 KLEE入門教程
本文1.首先介紹創建KLEE Docker容器的方法；2.然後介紹官網給出的一個指導實例；3.最後給出程序測試實例。 創建KLEE Docker容器 相關Dokcer的知識可以參見官網：https://docs.docker.com/ge
2020-02-24 16:24:47
原创 Python3爬蟲從零開始：Beautiful Soup的使用
中文文檔：https://beautifulsoup.readthedocs.io/zh_CN/v4.4.0/#id49 基本用法 實例1： from bs4 import BeautifulSoup html =""" <html
2018-10-27 02:03:19
原创 Python3爬蟲從零開始：Xpath的使用
之前我們提取頁面信息時使用的是正則表達式，但這比較繁瑣，容易出錯。XPath提供了簡潔明瞭得路徑選擇表達式及大量內建函數。可以定位到幾乎所有我們想要定位的節點。 XPath需要安裝lxml庫，安裝方法。 常用規則 nodena
2018-10-21 01:42:36
原创 Python3爬蟲從零開始：抓取天貓電影排行
抓取分析 首先打開要抓取的目標站點：http://maoyan.com/board/4 我們需要爬取得實惠電影名稱、主演、評分等信息。可以看到在這個頁面只有10部影片，而我們需要爬取前100，也就是需要爬取10頁。
2018-10-20 02:13:19
原创 Python3爬蟲從零開始：庫的安裝
抓取網頁之後下一步就是從網頁中提取信息。提取方式有很多種，可以利用正則表達式進行提請，但是相對而言比較麻煩繁瑣。現在有很多強大的解析庫供我們使用，如lxml,Beautiful Soupp,pyquery等。本節對其安裝進行介紹。
2018-10-20 02:13:18
原创 Python3爬蟲從零開始：urllib庫的使用（一）
官網文檔鏈接：https://docs.python.org/3/library/urllib.html 包含4個模塊： urllib.request for opening and reading URLs urllib.erro
2018-10-20 02:13:18
原创 Python3爬蟲從零開始：urllib庫的使用（二）
URLError 來自urllib庫的error模塊，需要imort error 實例1：當運行一個不存在的頁面，如果沒有異常處理，直接 from urllib import request,error request.urlopen
2018-10-20 02:13:18
原创 Python3爬蟲從零開始：環境配置
話不多說，關於爬蟲的作用和介紹網上資料很多，不再累述。 “工慾善其事必先利其器”。 1.首先到Python官網進行Python安裝： 官網地址：https://www.python.org/downloads/ 2.環境變量配置： （1
2018-10-20 02:13:18