Satisfy code analysis