K

Klever

Settings | Report Duplicate

0

I Use This!

Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 19, 2023 — Jan 19, 2024 Showing page 7 of 341 Search / Filter on:
Specify another reason of false alarms	Evgeny Novikov	More...				almost 3 years ago
Fix typo introduced by commit aaa0e24	Evgeny Novikov	More...				almost 3 years ago
Avoid redundant declaration	Evgeny Novikov	More...				almost 3 years ago
Add model for userspace memset() like for the Linux kernel	Evgeny Novikov	More...				almost 3 years ago
Do not weave in __memcpy() anymore	Evgeny Novikov	More...				almost 3 years ago
Replace remaining calls to mem() with __VERIFIER_mem()	Evgeny Novikov	More...				almost 3 years ago
Always include "ldv/verifier/memory.h" before other headers	Evgeny Novikov	More...				almost 3 years ago
Weave in mem*() functions for several common models	Evgeny Novikov	More...				almost 3 years ago
Support filtering for common models with options	Evgeny Novikov	More...				almost 3 years ago
Fir preset unsafe mark patterns after adding models for mem*() functions	Evgeny Novikov	More...				almost 3 years ago
Merge branch 'master' into support-linux-5.17	Evgeny Novikov	More...				almost 3 years ago
Fix code marker	Evgeny Novikov	More...				almost 3 years ago
Update CPAchecker (SMG) to specify mem*() function models	Evgeny Novikov	More...				almost 3 years ago
Add models for mem*() functions	Evgeny Novikov	More...				almost 3 years ago
Add new preset marks and fix associations with existing ones	Evgeny Novikov	More...				almost 3 years ago
Exclude proper modules	Evgeny Novikov	More...				almost 3 years ago
Exclude redundant test cases	Evgeny Novikov	More...				almost 3 years ago
Test mem*() functions together with string ones	Evgeny Novikov	More...				almost 3 years ago
Improve and enrich models for atomic API	Evgeny Novikov	More...				almost 3 years ago
Add test cases for atomic common models	Evgeny Novikov	More...				almost 3 years ago
Weave in one more strlen() variant added in Linux ~5.17	Evgeny Novikov	More...				almost 3 years ago
Merge branch 'master' into support-linux-5.17	Evgeny Novikov	More...				almost 3 years ago
Describe extra clean up actions for Docker at generating test build bases	Evgeny Novikov	More...				almost 3 years ago
Add sub-jobs for testing common models for Linux 5.17	Evgeny Novikov	More...				almost 3 years ago
Ger rid of calls to vmalloc_exec() for Linux 5.17	Evgeny Novikov	More...				almost 3 years ago
Build test drivers for testing common models for Linux 5.17	Evgeny Novikov	More...				almost 3 years ago
Generate build bases for testing common models for new versions of Linux	Evgeny Novikov	More...				almost 3 years ago
Add model for test_bit()	Evgeny Novikov	More...				almost 3 years ago
Extract models for bit operations from bitmap operation models	Evgeny Novikov	More...				almost 3 years ago
Extract testing of bitops operations from bitmap test case	Evgeny Novikov	More...				almost 3 years ago

←
1
2
3
4
5
6
7
8
9
10
11
…
340
341
→