No convenient way to specify shared library functions as assigns clauses (#419) · Issues · pub / frama-c