diff options
Diffstat (limited to '.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/d423939e-82f0-444a-9ae7-4f4c054b019e/comments/4403ad33-3598-4971-adba-95bb53842727/body')
| -rw-r--r-- | .be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/d423939e-82f0-444a-9ae7-4f4c054b019e/comments/4403ad33-3598-4971-adba-95bb53842727/body | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/d423939e-82f0-444a-9ae7-4f4c054b019e/comments/4403ad33-3598-4971-adba-95bb53842727/body b/.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/d423939e-82f0-444a-9ae7-4f4c054b019e/comments/4403ad33-3598-4971-adba-95bb53842727/body deleted file mode 100644 index 2ffab36..0000000 --- a/.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/d423939e-82f0-444a-9ae7-4f4c054b019e/comments/4403ad33-3598-4971-adba-95bb53842727/body +++ /dev/null @@ -1,8 +0,0 @@ -It should be possible to add a static analysis plugin (it has to be static analysis, because it’s flow dependent) which annotates each GVariant* variable with its expected GVariant type, and tracks that type through the program, type-checking every subsequent call which is passed the GVariant. - -This should be able to catch bugs like the following: - GVariant *my_variant = g_variant_new ("(ss)", "some-string", "some-other-string"); - g_variant_get (my_variant, "(su)", &some_string, &some_int); -where the dynamic type of the variant on the second line doesn’t match the expected static type, even though the call itself is valid (so the current GVariant checks in Tartan won’t catch any errors). - -This should also work through branching and looping control flows. |