静态程序分析平台 Shipshape

软件介绍

Shipshape 是一个静态的程序分析平台,可以让分析人员通过公共接口接入进来。Shipshape 封装在 Docker 镜像里。当此镜像运行时,Shipshape 分析服务就开始运行并处理分析需求,生成结构化的分析结果。Shipshape 可以在命令行界面中运行,或者在 Jenkins 插件里运行。只要你的 Linux 系统中安装了 Docker 就可以,你想要分析的源代码在硬盘里可查找。

本文地址:https://www.codercto.com/soft/d/20463.html

分布式算法导论

分布式算法导论

泰尔 / 霍红卫 / 机械工业出版社 / 2004年09月 / 39.0

分布式算法20多年来一直是倍受关注的主流方向。本书第二版不仅给出了算法的最新进展,还深入探讨了与之相关的理论知识。这本教材适合本科高年级和研究生使用,同时,本书所覆盖的广度和深度也十分适合从事实际工作的工程师和研究人员参考。书中重点讨论了点对点消息传递模型上的算法,也包括计算机通信网络的实现算法。其他重点讨论的内容包括分布式应用的控制算法(如波算法、广播算法、选举算法、终止检测算法、匿名网络的随机......一起来看看 《分布式算法导论》 这本书的介绍吧!

Base64 编码/解码
Base64 编码/解码

Base64 编码/解码

URL 编码/解码
URL 编码/解码

URL 编码/解码