StackRating

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

Anne

Rating
1511.64 (60,639th) 		Reputation
1,055 (148,042nd)
Page: 1
Title Δ
Assertion on pointer to array +3.91
WP confused by pointers to struct 0.00
Is it possible to specify a buffer access clause in frama-c? 0.00
Db.Value.AfterTable.find api change for Frama-C Aluminium 0.00
What does the message "unreachable entry point" mean? 0.00
Frama-C: Add Annotation in Plugin 0.00
Frama-C: Getting the values of statement 0.00
Value Dependency Analysis with Frama-C -4.10
Frama-C Graph of Full File 0.00
Open files by zenity and process it one by one +3.89
To get the node corresponding the declaration of a local variable w... 0.00
Backward Analysis of Expression -1.36
I would like to generate all the preconditions mainly initial preco... 0.00
Frama-C: access to the cil/src/ext modules data and few others ques... -3.54
How to get Data & Control Dependency Slice using Frama-c 0.00
How I can draw the tree with values stored in nodes with graphviz? +3.83
OCaml function format_of_string is not working as expected -1.78
Named constants in ACSL specifications +3.92
How to get the C file name from frama-c? -3.66
Split large PDF image into multiple pages using pstools +2.19
Can frama-c be used for header file analysis? +5.02
How to get the coordinates from layout from graphviz? +5.85
Graphviz egde addition conundrum +0.09
Dataflow graphs 0.00
the meaning of kinds of curve in PDG 0.00
Using coq, trying to prove a simple lemma on trees 0.00
Is it possible to inject values in the frama-c value analyzer? -2.61