IKOS (Inference Kernel for Open Static Analyzers)github.com1 point·jjuhl··0 commentsOpen articleSaveView on HN