StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

anol

Rating
1498.94 (3,812,179th) 		Reputation
3,278 (51,535th)
Page: 1 2
Title Δ
Eva method to compute intervals [frama-c] 0.00
Frama-C's GUI (frama-c-gui) not installed despite installing fr... 0.00
How to give the right precondition to prove an assert statemnt in f... 0.00
How do you tell Frama-C and Eva that an entry point's parameter... +4.87
argparse: optional argument between positional arguments +4.07
Error with "\226\128\147" when running Frama-C command 0.00
error while installing gmp (frama-c prerequisite) on mac os catalin... 0.00
Can't find some flags in frama-c.21.1 0.00
Static Analysis erroneously reports out of bounds access 0.00
How to get the version of a installed package using ocamlfind or op... 0.00
How can I map frama-c CLI code to the original c statement? And how... 0.00
How to install Frama-C on Manjaro 18.1.5? 0.00
Frama-c: How to justify variadic argument with va_list and va_arg? 0.00
Performing dead code elimination / slicing from original source cod... -3.12
Problem of Non-Terminating Function (no dependencies) 0.00
man page of fc builtin uses − rather than - for options 0.00
Undefined behaviour in Intel safestringlib 0.00
Avoiding Google's prompt when trying to get location 0.00
Looking for idea on overwrite a function during frama-c 0.00
Frama-C: Display callstacks in the command line output 0.00
How to use Frama-Clang to parse C++ programs 0.00
Getting quick help information for Frama-C 0.00
Frama-c Assertion +4.23
Frama-c execution time & heap memory bounds proof +4.98
Program with malloc: why can't Eva prove \valid(p)? 0.00
Bandwidth difference when cloning via HTTPS or SSH -2.73
How can be C files linked when using E-ACSL plugin? 0.00
Frama-C aborted Invalid user input +0.61
cant analysis openmp code with frama-c 0.00
How to install Impact Analysis Plug-in for Frama-c on Ubuntu 14.04? 0.00
could not install frama-c-Phosphorus using opam 0.00
Error installing Frama-C with opam (Ubuntu 14.04 LTS) 0.00
scanf not working as expected in Frama-C 0.00
Lexer/filter for comments +0.79
Syntax error in Frama-C due to custom machdep 0.00
Unsound behavior with -rte option in Magnesium 0.00
Make Frama-c show dependencies even of "dead branches" 0.00
Frama-c Magnesium : Unable to execute WP plugin on Windows 0.00
Frama-C plugin development: Extract value analysis result as OCaml... 0.00
Frama-C code slicer not loading any C files 0.00
Frama-C Plugin development: Getting result of value-analysis 0.00
Closing application and notifying renderer process 0.00
Basic debugging of Electron apps -3.97
How to upgrade a single package? 0.00
How to list current package versions in OPAM? +0.85
trying to make frama-c work on Windows 7, using Perl or MinGW or 0.00
How to remove a specific ELF section, without stripping other symbo... 0.00
Idiomatic exceptions for exiting loops in OCaml +2.05
How to compile a Frama-C plug-in having a C source? 0.00
What does setDefaultButton do? 0.00