search for: checker

...ive/active and therefor shows half the available paths as faulty (multipath -ll below) While this probably gives me the redundancy that is desired, it is a relatively messy situation, since it will be unnecessary hard to detect real path failures and the OS is complaining about "readsector0 checker reports path is down" which gives me >40M/24h /var/log/messages garbage. Any hints for a reasonable configuration? Unfortunately the Sun 7310 is rather new, so almost nothing shows up on google... even less for RHEL/CentOS :-( regards from Berlin Jens [root at dev-db1 tmp]# multipath -...

Hey, welcome! I'm curious about the unsequenced modification checker, is it something that I should have seen but missed for whatever reason? It might be useful, and I think I'm seeing why don't compiler warnings cover all cases, i.e. why the analyzer's path sensitivity would help here. But I can't answer until I see it :) -eg. on our Phabricator...

Hi, Thanks for replying ! On 03/02/2018 10:58 PM, Artem Dergachev wrote: > Hey, welcome! > > I'm curious about the unsequenced modification checker, is it something > that I should have seen but missed for whatever reason? It might be > useful, and I think I'm seeing why don't compiler warnings cover all > cases, i.e. why the analyzer's path sensitivity would help here. But I > can't answer until I see it :) -eg...

Hi Ted and Others , We we use the switch "--analyze" for clang ,Did all checkers that were pop up from the command "clang -cc1 -analyzer-checker-help" where enabled by default or some are ???? Any documents which says about this ,FYI we referred the information @ http://clang-analyzer.llvm.org/checker_dev_manual.html,But unlucky we couldn't find any points w.r...

...French student in computer science. I am currently in my 4th year (1st year of graduate school) at EPITA and enrolled in the system and security laboratory of the school. I would be very interested in working on a LLVM project during this GSoC. Implementing a PoC for an unsequenced modification checker in CSA helped me discover LLVM. However, I would like to dive deeper in this project. I've seen some of the proposals, and I would like to ask a few questions about two of those. As you might have guessed, I have some interest in the checker for dangling string pointers : - Do you think...

I''m new to Ruby and RoR; I was messing around with it today and had trouble with error codes. Specifically, the ruby syntax checker frequently spits out ''syntax error'' with the last line of the code as the error line (the error is nowhere near the last line). This is something I''d expect in a pre 1.0 version, but ruby is at 1.8.4, is the ruby syntax checker just really primitive? This isn'...

For a change, I am going to try and check the checksum before burning the CDs.... My burner is on a Win2000 box, and I have all 6 of the Centos 5 ISO images there already. So I grab a checker from: http://www.diamondcs.com.au/freeutilities/md5.php And checking the ISO image files with this program, I get different numbers than in the MD5 hash txt file. Can anyone point me to a 'proper' checker?

...r science. I am currently in > my 4th year (1st year of graduate school) at EPITA and enrolled in the > system and security laboratory of the school. > > I would be very interested in working on a LLVM project during this > GSoC. Implementing a PoC for an unsequenced modification checker in CSA > helped me discover LLVM. However, I would like to dive deeper in this > project. > > I've seen some of the proposals, and I would like to ask a few questions > about two of those. > > As you might have guessed, I have some interest in the checker for > dan...

Hi, I am sharing the proposal [0] which gives a brief introduction for the implementation of the LLVM DI Checker utility. On a very high level, it is a pair of LLVM (IR) Passes that check the preservation of the original debug info in the optimizations. There are options controlling the passes, that could be invoked from ``clang`` as well as from ``opt`` level. By testing the utility on the GDB 7.11 proj...

Hi, all, I build clang-tidy by "ninja clang-tidy", but when I run below command, I get no checks. Where is the clang-diagnostic* checkers? Thanks in advance. > $ /Users/zyg/Documents/workspace/llvm-project/llvm/cmake-build-debug/bin/clang-tidy --checks="-*,clang-diagnostic-*" --list-checks No checks enabled.

...ng my hands on > one. It is available at least in the mobile versions of the recent Intel Skylake CPUs. I am currently playing with Alienware 15 R2 with the following CPU: Intel(R) Core(TM) i7-6820HK. Interestingly, my preliminary experiments indicate that adding MPX bounds checking via Pointer Checker in gcc is usually slower than using software-only AddressSanitizer. Thanks for the other pointers! -- Yours sincerely, Dmitrii Kuvaiskii

Hello, This is updated version of nodatacow patch. To check whether a given file extent is referenced by multiple snapshots, the checker walks down the fs tree through dead root and checks all tree blocks in the path. We can easily detect whether a given tree block is directly referenced by other snapshot. We can also detect any indirect reference from other snapshot by checking reference''s generation. The checker can alway...

I've recently played with the GCC implementation of pointer checker on a real hardware, my recent impressions are here: https://github.com/google/sanitizers/wiki/AddressSanitizerIntelMemoryProtectionExtensions (there is also some old pre-hardware content). In short, I totally agree with what David says above: MPX is a disaster. (Usual disclaimer: my opinion here...

Hi R Helpers, I'm still new to R and i experience many difficulties..I'm using vegan package (R version 2.11) trying to calculate checkerboard units for each species pair of a matrix. I've prepared the function: pair.checker=function (dataset) {designdist (dataset, method="c("(A-J)x(B-J)", terms ="binary", abcd=FALSE)} to use with function oecosimu as follows: oecosimu(dataset, pair.checker, "tswa...

...ad not only to false negatives but to false positives as > well). But these false positives are relatively easy to suppress (eg., by > adding some sort of assert(x || !y), which is in most cases anyway a good > thing to document), and the primary benefit of this simplification is that > checkers no longer need to implement a "merge" function for the information > that they track in the program state: they only need to update their state > by modeling effect of every non-control-flow event in the program. With > ~100 checkers already written, limiting them to only simple...

Hi Ted, Doug said you might have a clang-based checker that would detect when people allocate memory with a BumpPtrAllocator and then construct a class into it that needs destruction. In killing valgrind-found memory leaks in LLVM, I've found several instances of this mistake. They often involve SmallVectors, which only show up as leaks in valgrind...

Smatch complains that "rc" can be uninitialized if we hit the "break;" statement on the first iteration through the loop. I suspect that this can't happen in real life, but returning a zero literal is cleaner and silence the static checker warning. Signed-off-by: Dan Carpenter <dan.carpenter at oracle.com> --- drivers/virtio/virtio_mem.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/drivers/virtio/virtio_mem.c b/drivers/virtio/virtio_mem.c index f658fe9149beb..893ef18060a02 100644 --- a/drivers/virtio/vi...

Am 08.05.2015 11:56, schrieb Amit Shah: > On (Fri) 08 May 2015 [11:30:09], walter harms wrote: >> >> >> Am 08.05.2015 11:16, schrieb Dan Carpenter: >>> My static checker complains that this sprintf() can overflow but really >>> it can't. Just silence the warning by using snprintf(). >>> >>> Signed-off-by: Dan Carpenter <dan.carpenter at oracle.com> >>> --- >>> v2: the overflow is not possible so just leave the...

Am 08.05.2015 11:56, schrieb Amit Shah: > On (Fri) 08 May 2015 [11:30:09], walter harms wrote: >> >> >> Am 08.05.2015 11:16, schrieb Dan Carpenter: >>> My static checker complains that this sprintf() can overflow but really >>> it can't. Just silence the warning by using snprintf(). >>> >>> Signed-off-by: Dan Carpenter <dan.carpenter at oracle.com> >>> --- >>> v2: the overflow is not possible so just leave the...

Hello developers, My name is Zhihan Chen and I am currently a year 4 computer science student at the University of Hong Kong. I am interested in building a checker for dangling string pointer. I've learned some essential knowledge about compiler from our university course and built a mini-compiler on my own (Available at https://github.com/CHEN- Zhihan/Compiler). I've gone through the llvm tutorial and I am currently checking some of the static check...