首页
社区
课程
招聘
问答 CTF 排行榜 知识库 工具下载 峰会 看雪商城 证书查询
  1. 社区
  2. 安全工具
    3. 发新帖
[推荐][分享]Synopsys Static Analysis (Coverity) 2019.3 for linux64
发表于: 2019-4-17 22:00 53791

[推荐][分享]Synopsys Static Analysis (Coverity) 2019.3 for linux64

Alfik 活跃值
2019-4-17 22:00
53791

Synopsys Static Analysis (Coverity) 2019.3


Supported Languages (as of Coverity 2019.03)

[Please refer to the Coverity Deployment and Installation Guide for additional details.]

C/C++

Objective-C/Objective-C++

C# (up to C# 7.3 with Visual Studio 2008, 2010, 2012, 2013, 2015, 2017 and .NET Core 2.0–2.1;  C# analysis on Linux is not supported.)

Java (1.8, 10.0–11.0; older versions are supported in certain configurations)

Swift (4.0, 4.0.2, 4.0.3, 4.1, 4.1.2)

Visual Basic (up to Visual Basic 11 with Visual Studio 2013, 2015, 2017 and .NET Core 2.0–2.1)

Scale (2.12.x)

Fortran

JavaScript

Typescript

PHP

Python 

Ruby


99eK9s2c8@1M7s2y4Q4x3@1q4Q4x3V1k6Q4x3V1k6D9L8%4y4@1i4K6u0V1j5$3!0F1N6r3q4U0N6q4)9J5k6h3#2A6N6q4)9J5k6h3g2V1N6g2)9J5c8X3q4X3M7#2)9J5c8Y4u0Z5K9h3y4Q4x3X3g2T1L8X3I4Q4x3X3g2Y4L8%4k6Q4x3V1k6^5z5o6j5$3y4q4)9#2k6Y4y4D9y4#2)9J5c8X3q4H3M7q4)9J5c8X3y4G2N6X3g2J5K9i4c8&6i4K6u0V1x3U0l9I4z5g2)9J5k6e0l9K6i4K6u0r3j5$3!0$3i4K6u0V1j5h3&6S2L8s2W2K6K9i4y4Q4x3X3c8D9K9h3&6#2P5o6j5@1i4K6u0V1x3U0l9I4z5g2)9J5k6e0l9K6i4K6u0W2M7$3R3`.

[培训]科锐逆向工程师培训第53期2025年7月8日开班！

上传的附件：
收藏
免费 ・7
支持
分享
最新回复 (191)
风_158566
雪    币： 9147
活跃值： (5072)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
2 楼
2019-4-17 22:20
0
helloworda
雪    币： 279
活跃值： (3349)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
3 楼
有没有platform呢，这个软件可以交流下，留个联系方式
2019-4-17 22:45
0
noida
雪    币： 236
活跃值： (244)
能力值： ( LV3，RANK：30 )
在线值：
发帖
回帖
粉丝
私信
4 楼
0x13***417
0xCD***17A
2019-4-18 14:03
1
wandering
雪    币： 4028
活跃值： (8569)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
5 楼
有没有PLATFORM？
2019-4-19 11:06
0
Alfik
雪    币： 897
活跃值： (5906)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
6 楼
哪里可以在没有torrent的情况下下载这些文件?
cov-analysis-win64-2017.07-SP2^4dcfab22f2c2166f18bd0861f8a92b22.zip 1.99 GB 
cov-analysis-win32-2017.07-SP2^199649834b8ba9497c8077991330f743.zip 1.8 GB 
cov-analysis-linux64-2017.07-SP2.tar^a235d7b5579f5cbbb168bfe74bb0aedb.gz 1.65 GB 
cov-analysis-macosx-2017.07-SP2.tar^64543c1bd04d048b6614e8ca1c7bf436.gz 1.6 GB 
cov-analysis-linux-2017.07-SP2.tar^9517ce6ecb1f2d231c8b49e548d87de0.gz 1.53 GB

fa2K9s2c8@1M7q4)9K6b7g2)9J5c8W2)9J5c8X3E0S2K9i4S2A6L8X3y4A6L8r3V1I4i4K6u0W2M7s2N6Q4x3V1k6A6L8X3k6G2i4K6u0r3K9@1E0b7y4q4A6j5N6W2g2c8d9#2y4V1b7U0k6p5j5Y4y4K9d9h3g2K6M7K6M7#2N6K6S2w2i4K6u0W2K9s2c8E0L8l9`.`.
magnet:?xt=urn:btih:b8a3db8e1e5440a4a705d0e5da3228db679ce9fa&dn=ca2017sp2 
2019-4-25 00:36
0
LSCSA
雪    币： 17
活跃值： (383)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
7 楼
magnet:?xt=urn:btih:35d3d953f83ee52b17771b56427a15dde176ff16&dn=cov-platform-win64-2017.07-SP2.exe
这个好像也下载不了。
2019-4-27 10:44
0
Alfik
雪    币： 897
活跃值： (5906)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
8 楼
Coverity x64 8.5.0 (2016) - cov-platform-win64-8.5.0
上传的附件：
2019-4-28 18:01
0
wandering
雪    币： 4028
活跃值： (8569)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
9 楼
不配对使用，怕是不行！
2019-4-29 15:43
0
Alfik
雪    币： 897
活跃值： (5906)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
10 楼
wandering 不配对使用，怕是不行！
了 检查 了 5 个 软件 项目。
Can I view defects locally without Coverity Connect 
079K9s2c8@1M7s2y4Q4x3@1q4Q4x3V1k6Q4x3V1k6U0L8$3#2E0N6h3&6A6N6s2W2Q4x3X3g2K6P5h3&6G2M7s2y4&6M7#2)9J5k6h3y4G2L8g2)9J5c8Y4y4Q4x3V1k6S2M7Y4c8A6j5$3I4W2i4K6u0r3b7$3q4F1i4K6u0V1d9g2)9J5k6s2k6A6k6i4N6Q4x3X3c8V1k6h3k6W2j5%4c8K6i4K6u0V1L8r3!0U0j5h3I4D9P5g2)9J5k6s2N6A6N6r3S2G2N6i4c8Q4x3X3c8o6L8%4k6W2M7X3W2@1P5g2)9J5k6p5y4G2L8X3&6W2j5%4b7`.
2019-4-29 16:34
0
Alfik
雪    币： 897
活跃值： (5906)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
11 楼
wandering 不配对使用，怕是不行！
cov-analysis-win32-8.5.0 
 cov-analysis-win64-8.5.0 
 cov-analysis-macosx-8.5.0.tar


上传的附件：
2019-5-3 22:19
0
Alfik
雪    币： 897
活跃值： (5906)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
12 楼
wandering 不配对使用，怕是不行！
你是對的
Cov-platform-win64需要另一个许可证
此许可证值得一试
c5fK9s2c8@1M7s2y4Q4x3@1q4Q4x3V1k6Q4x3V1k6%4N6%4N6Q4x3X3g2K6L8$3I4A6k6r3k6A6L8r3g2K6i4K6u0W2j5$3!0E0i4K6u0r3N6W2)9J5c8U0k6S2d9$3A6*7x3$3E0I4k6#2S2n7h3W2Z5`.
2019-5-4 00:07
0
LSCSA
雪    币： 17
活跃值： (383)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
13 楼
c3eK9s2c8@1M7s2y4Q4x3@1q4Q4x3V1k6Q4x3V1k6%4N6%4N6Q4x3X3g2K6L8$3I4A6k6r3k6A6L8r3g2K6i4K6u0W2j5$3!0E0i4K6u0r3N6W2)9J5c8U0k6S2d9$3A6*7x3$3E0I4k6#2S2n7h3W2A6Q4x3U0k6F1j5Y4y4H3i4K6y4n7
2016-Nov-28过期
2019-5-4 10:54
0
Alfik
雪    币： 897
活跃值： (5906)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
14 楼
LSCSA f2fK9s2c8@1M7s2y4Q4x3@1q4Q4x3V1k6Q4x3V1k6%4N6%4N6Q4x3X3g2K6L8$3I4A6k6r3k6A6L8r3g2K6i4K6u0W2j5$3!0E0i4K6u0r3N6W2)9J5c8U0k6S2d9$3A6*7x3$3E0I4k6#2S2n7h3W2Z5`. 2016-Nov-28过期
设定2016年10月27日的新日期
上传的附件：
2019-5-4 17:30
0
newstu1987
雪    币： 134
能力值： ( LV1，RANK：0 )
在线值：
发帖
回帖
粉丝
私信
15 楼
我有全套！
2019-12-20 12:32
0
Alfik
雪    币： 897
活跃值： (5906)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
16 楼
newstu1987 我有全套！
新年禮物
2019-12-20 17:55
0
Alfik
雪    币： 897
活跃值： (5906)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
17 楼
newstu1987 我有全套！
在製造商的網站上最新版本 cov-analysis-win64-2019.03-2-update.zip, 但找不到
2019-12-20 18:01
0
newstu1987
雪    币： 134
能力值： ( LV1，RANK：0 )
在线值：
发帖
回帖
粉丝
私信
18 楼
你要有注册登录号，而且一般没有platform的
2019-12-21 09:26
0
LSCSA
雪    币： 17
活跃值： (383)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
19 楼
最新的应该是这个：
decK9s2c8@1M7s2y4Q4x3@1q4Q4x3V1k6Q4x3V1k6U0L8$3#2E0N6h3&6A6N6s2W2Q4x3X3g2K6P5h3&6G2M7s2y4&6M7#2)9J5k6h3y4G2L8g2)9J5c8Y4y4Q4x3V1k6I4N6h3g2K6N6r3W2G2L8W2)9J5c8U0m8p5y4e0u0t1x3o6l9H3x3o6c8$3y4r3E0z5h3W2)9J5c8X3q4F1L8X3!0#2L8X3y4W2L8h3g2F1N6q4)9J5k6r3y4G2N6X3g2J5K9i4c8&6i4K6u0V1x3U0l9I4z5e0p5J5i4K6u0V1K9i4y4Q4x3X3c8F1L8%4N6Q4x3X3c8S2N6X3q4A6L8r3q4T1L8r3f1`.
2019-12-21 11:32
0
newstu1987
雪    币： 134
能力值： ( LV1，RANK：0 )
在线值：
发帖
回帖
粉丝
私信
20 楼
转让上面的全套程序，有意者私聊我。
2019-12-23 13:17
0
任飞guan
雪    币： 1432
活跃值： (11)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
21 楼
谢谢楼主分享 
2019-12-26 08:27
0
Alfik
雪    币： 897
活跃值： (5906)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
22 楼
newstu1987 转让上面的全套程序，有意者私聊我。
2019-12-26 22:13
0
Freeisgood
雪    币： 0
活跃值： (29)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
23 楼
谢谢楼主的分享
2019-12-27 13:56
0
newstu1987
雪    币： 134
能力值： ( LV1，RANK：0 )
在线值：
发帖
回帖
粉丝
私信
24 楼
2019-12-29 10:18
0
Alfik
雪    币： 897
活跃值： (5906)
能力值： ( LV2，RANK：10 )
在线值：
发帖
回帖
粉丝
私信
25 楼
LSCSA 最新的应该是这个： 781K9s2c8@1M7s2y4Q4x3@1q4Q4x3V1k6Q4x3V1k6U0L8$3#2E0N6h3&6A6N6s2W2Q4x3X3g2K6P5h3&6G2M7s2y4&6M7#2)9J5k6h3y4G2L8g2)9J5c8Y4y4Q4x3V1k6I4N6h3g2K6N6r3W2G2L8W2)9J5c8U0m8p5y4e0u0t1x3o6l9H3x3o6c8$3y4r3E0z5h3W2)9J5c8X3q4F1L8X3!0#2L8X3y4W2L8h3g2F1N6q4)9J5k6r3y4G2N6X3g2J5K9i4c8&6i4K6u0V1x3U0l9I4z5e0p5J5i4K6u0V1K9i4x3`. ...

Coverity 2019.12 is Now Available
This release advances Coverity support for scalable web apps with new security checkers for Go, other updates to mobile and enterprise languages, new compiler versions, and enhancements to manage large projects with Coverity Connect.

The Coverity 2019.12 release is now ready for download on the Synopsys Software Integrity Community.

Highlights 

Enhanced languages and analysis support

New Go security checkers address OWASP Top 10 vulnerabilities
Injection vulnerabilities
Credential management
Path manipulation
New Go quality checkers address dead code and infinite loop issues
C# update supports C# 8.0 and .NET Core 3.0
Swift 5.0 and XCode 10.2 support 
 
New compilers support

MISRA C++:2008 Clang support
CrossWorks for MSP430 2.1.0

Coverity Connect enhancements 

Stream archiving saves streams indefinitely for archival storage
Offload of unneeded streams improves performance, and movement of streams to other Coverity instances enables load balancing

最后于 2020-6-20 06:18 被Alfik编辑 ，原因：
2020-6-20 06:17
0
游客
登录 | 注册 方可回帖
回帖 表情 雪币赚取及消费
高级回复
返回