首页
社区
课程
招聘
[推荐][分享]Synopsys Static Analysis (Coverity) 2019.3 for linux64
2019-4-17 22:00 47990

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

2019-4-17 22:00
47990

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


https://lost-contact.mit.edu/afs/rhic.bnl.gov/x8664_sl7/app/coverity-2019.03/cov-analysis-linux64-2019.03.sh

[CTF入门培训]顶尖高校博士及硕士团队亲授《30小时教你玩转CTF》,视频+靶场+题目!助力进入CTF世界

上传的附件:
收藏
点赞6
打赏
分享
最新回复 (183)
雪    币: 7217
活跃值: (2967)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
风_158566 2019-4-17 22:20
2
0
雪    币: 34
活跃值: (1914)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
helloworda 2019-4-17 22:45
3
0
有没有platform呢,这个软件可以交流下,留个联系方式
雪    币: 239
活跃值: (209)
能力值: ( LV3,RANK:30 )
在线值:
发帖
回帖
粉丝
noida 2019-4-18 14:03
4
1
0x13***417
0xCD***17A
雪    币: 286
活跃值: (5632)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
wandering 2019-4-19 11:06
5
0
有没有PLATFORM?
雪    币: 897
活跃值: (5916)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
Alfik 2019-4-25 00:36
6
0
哪里可以在没有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

http://kaixincili1.pw/info/kKP4ZXvUQKSdB6DbsZIess75w8K.html
magnet:?xt=urn:btih:b8a3db8e1e5440a4a705d0e5da3228db679ce9fa&dn=ca2017sp2 
雪    币: 27
活跃值: (378)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
LSCSA 2019-4-27 10:44
7
0
magnet:?xt=urn:btih:35d3d953f83ee52b17771b56427a15dde176ff16&dn=cov-platform-win64-2017.07-SP2.exe
这个好像也下载不了。
雪    币: 897
活跃值: (5916)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
Alfik 2019-4-28 18:01
8
0
Coverity x64 8.5.0 (2016) - cov-platform-win64-8.5.0
上传的附件:
雪    币: 286
活跃值: (5632)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
wandering 2019-4-29 15:43
9
0
不配对使用,怕是不行!
雪    币: 897
活跃值: (5916)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
Alfik 2019-4-29 16:34
10
0
wandering 不配对使用,怕是不行!
了 检查 了 5 个 软件 项目。
Can I view defects locally without Coverity Connect 
https://community.synopsys.com/s/article/Can-I-view-defects-locally-without-Coverity-Connect
雪    币: 897
活跃值: (5916)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
Alfik 2019-5-3 22:19
11
0
wandering 不配对使用,怕是不行!
cov-analysis-win32-8.5.0 
 cov-analysis-win64-8.5.0 
 cov-analysis-macosx-8.5.0.tar


上传的附件:
雪    币: 897
活跃值: (5916)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
Alfik 2019-5-4 00:07
12
0
wandering 不配对使用,怕是不行!
你是對的
Cov-platform-win64需要另一个许可证
此许可证值得一试
https://www.solidfiles.com/v/6aKjz3kqgXBZZ
雪    币: 27
活跃值: (378)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
LSCSA 2019-5-4 10:54
13
0
https://www.solidfiles.com/v/6aKjz3kqgXBZZ 
2016-Nov-28过期
雪    币: 897
活跃值: (5916)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
Alfik 2019-5-4 17:30
14
0
LSCSA https://www.solidfiles.com/v/6aKjz3kqgXBZZ 2016-Nov-28过期
设定2016年10月27日的新日期
上传的附件:
雪    币: 154
能力值: ( LV1,RANK:0 )
在线值:
发帖
回帖
粉丝
newstu1987 2019-12-20 12:32
15
0
我有全套!
雪    币: 897
活跃值: (5916)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
Alfik 2019-12-20 17:55
16
0
newstu1987 我有全套!
新年禮物
雪    币: 897
活跃值: (5916)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
Alfik 2019-12-20 18:01
17
0
newstu1987 我有全套!
在製造商的網站上最新版本 cov-analysis-win64-2019.03-2-update.zip, 但找不到
雪    币: 154
能力值: ( LV1,RANK:0 )
在线值:
发帖
回帖
粉丝
newstu1987 2019-12-21 09:26
18
0
你要有注册登录号,而且一般没有platform的
雪    币: 27
活跃值: (378)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
LSCSA 2019-12-21 11:32
19
0
最新的应该是这个:
https://community.synopsys.com/s/question/0D52H00004v4kNZ/announcement-coverity-201912-is-now-available
雪    币: 154
能力值: ( LV1,RANK:0 )
在线值:
发帖
回帖
粉丝
newstu1987 2019-12-23 13:17
20
0
转让上面的全套程序,有意者私聊我。
雪    币: 1432
活跃值: (11)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
任飞guan 2019-12-26 08:27
21
0
谢谢楼主分享 
雪    币: 897
活跃值: (5916)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
Alfik 2019-12-26 22:13
22
0
newstu1987 转让上面的全套程序,有意者私聊我。
雪    币: 0
活跃值: (29)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
Freeisgood 2019-12-27 13:56
23
0
谢谢楼主的分享
雪    币: 154
能力值: ( LV1,RANK:0 )
在线值:
发帖
回帖
粉丝
newstu1987 2019-12-29 10:18
24
0
雪    币: 897
活跃值: (5916)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
Alfik 2020-6-20 06:17
25
0
LSCSA 最新的应该是这个: https://community.synopsys.com/s/question/0D52H00004v4kNZ/announcement-coverity-201912-is ...

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编辑 ,原因:
游客
登录 | 注册 方可回帖
返回