From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from gateway36.websitewelcome.com ([50.116.125.2]:28200 "EHLO
        gateway36.websitewelcome.com" rhost-flags-OK-OK-OK-OK)
        by vger.kernel.org with ESMTP id S1753304AbeDIQq6 (ORCPT
        <rfc822;smatch@vger.kernel.org>); Mon, 9 Apr 2018 12:46:58 -0400
Received: from cm14.websitewelcome.com (cm14.websitewelcome.com [100.42.49.7])
        by gateway36.websitewelcome.com (Postfix) with ESMTP id 9941140468330
        for <smatch@vger.kernel.org>; Mon,  9 Apr 2018 11:25:49 -0500 (CDT)
Received: from [189.145.54.187] (port=45296 helo=[192.168.1.71])
        by gator4166.hostgator.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128)
        (Exim 4.89_1)
        (envelope-from <gustavo@embeddedor.com>)
        id 1f5Zc5-001tbY-DE
        for smatch@vger.kernel.org; Mon, 09 Apr 2018 11:25:49 -0500
From: "Gustavo A. R. Silva" <gustavo@embeddedor.com>
Subject: tracing back a variable
Message-ID: <f3b74c98-cdb2-3ddf-e58d-657bebfb2702@embeddedor.com>
Date: Mon, 9 Apr 2018 11:25:48 -0500
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Sender: smatch-owner@vger.kernel.org
List-ID: <smatch.vger.kernel.org>
To: smatch@vger.kernel.org

Hi all,

I wonder if smatch can be used to trace back a particular variable in 
order to determine if such variable is directly or indirectly controlled 
from any syscall?

Much appreciated,
Thanks
--
Gustavo