Re: [SC-L] has any one completed a python security code review`

2010-04-06 Thread Peter G. Neumann
You should look at Ka-Ping Yee's PhD thesis:  http://pvote.org
and the Pvote Software Review Assurance Document, Apr 3 2007.
Google finds it quickly.
___
Secure Coding mailing list (SC-L) SC-L@securecoding.org
List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l
List charter available at - http://www.securecoding.org/list/charter.php
SC-L is hosted and moderated by KRvW Associates, LLC (http://www.KRvW.com)
as a free, non-commercial service to the software security community.
Follow KRvW Associates on Twitter at: http://twitter.com/KRvW_Associates
___


[SC-L] code review engagement scoping

2010-04-06 Thread kartik trivedi

How do people in this group scope code review engagements? What are some of the 
tools one uses to count the number of lines of code, supporting libraries, 
comments, etc. Is there an umbrella list of issues one generally looks for in 
code reviews? We are talking about open source products written in C/CPP
Any help is appreciated
Thanks___
Secure Coding mailing list (SC-L) SC-L@securecoding.org
List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l
List charter available at - http://www.securecoding.org/list/charter.php
SC-L is hosted and moderated by KRvW Associates, LLC (http://www.KRvW.com)
as a free, non-commercial service to the software security community.
Follow KRvW Associates on Twitter at: http://twitter.com/KRvW_Associates
___


Re: [SC-L] has any one completed a python security code review`

2010-04-06 Thread James Walden
On Mon, Apr 5, 2010 at 12:08 PM, Matt Parsons 
wrote:
> Has anyone completed a python security code review?  What would
> you look for besides inputs, outputs and dangerous functions?
> Do any of the commercial static code analysis vendors scan that
> code?  I would think not because python is not compiled at run
> time like the other languages that static analysis tools can
> scan.  Any help would be greatly appreciated.

Static analysis tools can and do scan dynamic languages like
python, PHP, and Javascript.  Fortify 360 v2.5 can scan Python.
There are also free tools for Python, like pylint, pychecker, and
pyflakes, but none of them is primarily focused on security.
OWASP's Python ESAPI is a good starting point to learn about
potential security flaws in Python.

James Walden
___
Secure Coding mailing list (SC-L) SC-L@securecoding.org
List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l
List charter available at - http://www.securecoding.org/list/charter.php
SC-L is hosted and moderated by KRvW Associates, LLC (http://www.KRvW.com)
as a free, non-commercial service to the software security community.
Follow KRvW Associates on Twitter at: http://twitter.com/KRvW_Associates
___


Re: [SC-L] has any one completed a python security code review`

2010-04-06 Thread Paul Powenski
Matt, I have not seen any materials referencing Python nor does Fortify, I beleive, perform scans on it. But looking at the Python package on my Windows box it looks like the Python compliler has C as it's interface to the system. Obtaining the C code then running a scan against it should at least provide some insight into possible Python issuesRegards,Paul--- On Mon, 4/5/10, Matt Parsons  wrote:From: Matt Parsons Subject: [SC-L] has any one completed a python security code review`To: SC-L@securecoding.orgDate: Monday, April 5, 2010, 5:08 PM


 
 





Has anyone completed a python security code review?  What
would you look for besides inputs, outputs and dangerous functions?   Do any of
the commercial static code analysis vendors scan that code?  I would think not because
python is not compiled at run time like the other languages that static
analysis tools can scan.  Any help would be greatly appreciated.    

   

Thanks, 

Matt 

   

   

Matt Parsons, MSM, CISSP 

315-559-3588 Blackberry 

817-294-3789 Home office  

"Do Good and Fear No Man"   

Fort Worth, Texas 

A.K.A The Keyboard Cowboy 

mailto:mparsons1...@gmail.com 

http://www.parsonsisconsulting.com 

http://www.o2-ounceopen.com/o2-power-users/ 

http://www.linkedin.com/in/parsonsconsulting 

http://parsonsisconsulting.blogspot.com/ 

http://www.vimeo.com/8939668 

   

 

   

 

   

   

  

  

   

  

   



 

-Inline Attachment Follows-___Secure Coding mailing list (SC-L) SC-L@securecoding.orgList information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-lList charter available at - http://www.securecoding.org/list/charter.phpSC-L is hosted and moderated by KRvW Associates, LLC (http://www.KRvW.com)as a free, non-commercial service to the software security community.Follow KRvW Associates on Twitter at: http://twitter.com/KRvW_Associates___

  ___
Secure Coding mailing list (SC-L) SC-L@securecoding.org
List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l
List charter available at - http://www.securecoding.org/list/charter.php
SC-L is hosted and moderated by KRvW Associates, LLC (http://www.KRvW.com)
as a free, non-commercial service to the software security community.
Follow KRvW Associates on Twitter at: http://twitter.com/KRvW_Associates
___


Re: [SC-L] has any one completed a python security code review`

2010-04-06 Thread Romain Gaucher
I heard that the next version of Fortify (might even be released by now) 
supports Python. Not sure to understand properly the rest of the email but the 
duck typing isn't a huge problem for static analysis and neither is the fact 
that it's compiled to bytecode before being executed by a VM...

Romain


From: sc-l-boun...@securecoding.org [sc-l-boun...@securecoding.org] On Behalf 
Of Matt Parsons [mparsons1...@gmail.com]
Sent: Monday, April 05, 2010 12:08 PM
To: SC-L@securecoding.org
Subject: [SC-L] has any one completed a python security code review`

Has anyone completed a python security code review?  What would you look for 
besides inputs, outputs and dangerous functions?   Do any of the commercial 
static code analysis vendors scan that code?  I would think not because python 
is not compiled at run time like the other languages that static analysis tools 
can scan.  Any help would be greatly appreciated.

Thanks,
Matt


Matt Parsons, MSM, CISSP
315-559-3588 Blackberry
817-294-3789 Home office
"Do Good and Fear No Man"
Fort Worth, Texas
A.K.A The Keyboard Cowboy
mailto:mparsons1...@gmail.com
http://www.parsonsisconsulting.com
http://www.o2-ounceopen.com/o2-power-users/
http://www.linkedin.com/in/parsonsconsulting
http://parsonsisconsulting.blogspot.com/
http://www.vimeo.com/8939668

[cid:image001.jpg@01CAD4AF.CF750B00]

[cid:image002.jpg@01CAD4AF.CF750B00]







<><>___
Secure Coding mailing list (SC-L) SC-L@securecoding.org
List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l
List charter available at - http://www.securecoding.org/list/charter.php
SC-L is hosted and moderated by KRvW Associates, LLC (http://www.KRvW.com)
as a free, non-commercial service to the software security community.
Follow KRvW Associates on Twitter at: http://twitter.com/KRvW_Associates
___