StackRating

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

byako

Rating
1513.25 (51,685th) 		Reputation
2,788 (60,554th)
Page: 1 2
Title Δ
How do i analyse a complex project like open62541? 0.00
RTE plugin with Frama-c: "-rte-unsigned-ov" is not recogn... 0.00
How does one prove simple equalities of non-deterministic values in... 0.00
puts(NULL) - why doesn't WP+RTE complain? 0.00
How to associate -werror errors with code problem when Eva doesn... 0.00
Frama-c kernel user error: invalid global initializer tmp? 0.00
How do I prove code with a real axiomatic in Frama-C +4.71
How to prove this assigns clause, part 2? 0.00
How do I invoke axioms about libc string functions in Frama-C? 0.00
Why is Frama-C warning about 'accessing uninitialized left-valu... 0.00
Are infinite loops handled in Frama-C? 0.00
Frama-c : Trouble understanding WP memory models +3.95
Frama-c Assertion -4.23
Frama-C: find location of loop end +1.84
Unable to verify assign clause - Frama-C 0.00
Dataflow analysis of execution path 0.00
Frama-c [kernel] user error: Length of array is zero. This extensio... 0.00
Prove while-loop in Frama-C 0.00
Slicing with Frama-c 0.00
Frama-c, non-deterministic float values 0.00
How to add specification for this getchar to prevent Segmentation f... +3.97
ocamlfind: Package `lablgtk2.gnomecanvas' not found on ubuntu 1... 0.00
Adding Code of missing functions in frama-c 0.00
Frama-C generates confusing assertions about pointer comparison 0.00
How to install a specific commit of Frama-C 0.00
Slicing using frama-c 0.00
Frama-C Aluminum "Unbound module GMenu" 0.00
Frama-c slice : choosing an entry to get pragma ctrl 0.00
Frama-C: No splitting of if-statement 0.00
Timeout during the verification of two array addition 0.00
Frama-C Plugin: Resolve array-values -4.00
Frama-C Value Builtins 0.00
frama-c : how to assume malloc succeeds? 0.00
Frama-C-Plugin: Resolve Pointer to pointer 0.00
Value analysis for high loop bounds 0.00
Frama-C: Get slice for C assert statement 0.00
Use Frama-c to analyze a project with CMake build infrastructure 0.00
Calculate reachability to a function using frama-c's value anal... 0.00
How to use functions in Value.Eval_expr, Value.Eval_op etc modules... 0.00
frama-c wp plugin fails to validate the swap function from the manual 0.00
Value Dependency Analysis with Frama-C +4.10
ACSL contract for strstr 0.00
Frama-C \strlen function 0.00
What does [ <- ] mean in why3? 0.00
Idiomatic exceptions for exiting loops in OCaml -2.69
Error: Reference to undefined global `Num' -3.50
frama-c metrics output to file for metrics-by-function 0.00
Two handles to same variable in C -4.08
OCaml |> operator +4.23
How do I display pre-processed macro (just user defined) using gcc? -4.02