repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
extra: don't set states to unknown at the beginning of a function
2015-03-30
D
an Carpen
t
er
extra
:
d
on't set
s
tates to unknown at t
h
e
beg
i
nning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra: don't
s
et true false state
s
if the
y
are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
function_hooks
:
add a hack around in co
m
p
a
re_db_return_state
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
t
e
r
list: add a comment
a
bo
u
t register_impl
i
cation
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carpente
r
param_limit:
hand
l
e str
u
c
t membe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpe
n
t
e
r
states: white space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
conditions:
i
gn
o
r
e
known/implied conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
t
er
strings:
r
ecor
d
s
tring assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
stru
c
t_as
s
ignment: sa
v
e a lot mo
r
e information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param
_
limit/filte
r
:
f
i
x
a
t
ype b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Sil
v
an Jegen
db: A
v
oid dereferencing nu
l
l pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
enter
co
m
parison: handle
cano
n
ica
l
for loops wit
h
variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compar
i
son:
unsi
g
n
ed can not be less than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carp
e
nter
flow:
set __cur_stmt and __prev_stmt
ins
i
d
e
for l
o
o
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
en
t
er
comparison: mergi
n
g equivalent sta
t
e
s
i
s
not und
e
f
i
ned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carp
e
n
t
er
compariso
n
:
fix an indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
func
t
ion_h
o
oks: fix
up db_c
o
mpare_callbac
k
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
fu
n
ction_hooks
,
debug: print imposs
i
ble retu
r
ns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
helper: don't strip casting in ge
t
_
a
rray_o
f
fse
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
l
in
k
s: export
merge_link_stat
e
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
helpe
r
: make expr_to
_
s
tr(
)
p
r
i
nt forc
e
d
c
a
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
type
:
make ty
p
e
_
to_str() re
t
urn a sname() b
u
f
fer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
n
ter
modification_hoo
k
s: set a
v
ariable as modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
user_data
2
:
t
a
g
it
i
f
a
function sets parameters
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
rp
e
nter
stack: cleanup a function prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
deref_ch
e
ck:
i
gn
o
r
e
arr
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpe
n
t
e
r
t
y
pe: mak
e
sv
a
l
_type_max()
default t
o
"long long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Da
n
Carpenter
typ
e
: don'
t
r
e
turn SYM_NODE typ
e
s from get_real_b
a
se_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side
_
effects: the iterat
e
_all_k
i
nds() macro
h
as side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Ca
r
penter
un
r
e
a
c
habl
e
: don'
t
complai
n
about
i
t
e
rate_al
l
_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
flow: fix "foo += !
b
ar;" a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpente
r
lib: h
a
ndle
-funsigned-
c
har option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Car
p
enter
kernel
.
ignore_side_effects:
add some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n
Ca
r
penter
indentin
g
:
allow "break;
case XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
u
ser_
d
at
a
2:
ma
r
k
ssca
n
f() output as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
math,
r
l: fix handi
n
g division involving negat
i
ve numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
sval
:
f
i
x
sval
_
binop_o
v
e
r
flows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
precedence
:
co
m
pl
a
i
n abo
u
t "foo <<
bar -
b
az"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flo
w
:
h
a
n
dle struct ini
t
ialization
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan C
a
rpenter
estate: add a NUL
L
ch
e
ck in estate
s
_equ
i
v(
)
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpente
r
param_us
e
d: st
o
re w
h
en a paramete
r
is
us
e
d so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpen
t
er
extra:
i
g
nore more __in_fake_assign
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Ca
r
penter
compa
r
i
s
o
n
:
fix a
crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan
C
arpenter
ty
p
e: add an expr_sig
n
ed()
functi
o
n that ma
t
ches ex
p
r_un
s
igned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpenter
smdb
.
py:
add
f
u
nctions to show
functions implem
e
ntin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
Carpenter
extra:
h
and
l
e temporary shortha
n
d pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Carp
e
nter
d
e
referen
c
es
_
pa
r
am: look for pointers used
as an
array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpen
t
er
check_
i
nde
n
ting: w
a
r
n
about miss
i
ng curly br
a
c
es an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_cleared: add a co
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpen
t
er
validation: correct some
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro
Koskinen
bui
l
d: all
o
w use of
PKG_CONFIG to override pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db: build indexes fa
s
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
s
l
ist: fi
x
compil
e
breaka
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
kern
e
l_p
r
intf:
s
ilence
s
ome false positive
s
using smatc
h
_
s
tr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
ente
r
s
tr
i
ngs:
recor
d
which
s
t
r
ings are being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
user_
d
ata2: turn on skb->data tagg
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpent
e
r
db: rename
FILTER_VAL
U
E
,
L
IMITED_VALUE, a
n
d
A
D
DED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Car
p
e
nter
ker
n
e
l
_
p
rintf: silen
c
e some "struct sockaddr " fal
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpenter
ty
p
e: add unio
n
s
to typ
e
_
t
o_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
t
ype_value: sp
e
ed up
loa
d
ing
the
databas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carp
e
nter
*new*
r
eturn_cast: compla
i
n about return -EINVAL i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
format_string: delete this because c
h
eck_kernel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
function
_
h
o
oks: add some debug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
extra: cleanup db_param
_
add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
extra: s
e
parate PARAM_LIMIT and PARAM_F
I
LTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
f
unction_
h
ooks: don't
t
ake a
sh
o
rtcut for "needl
e
ss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helper
:
introduce
alloc_state_str(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ma
t
h: handle "
i
f
(likely(1)
)
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
math: fix/cleanup do_compar
i
son()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
cappe
d
: don't
record s
i
ngl
e
values as capped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an
C
arp
e
nter
db: export get
_
static_
f
ilter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_data2: wro
n
g parame
t
er tagged as user data
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
C
a
rpent
e
r
rosenberg: d
e
lete
s
om
e
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Ca
r
penter
rose
n
berg: strip a
w
ay some casting
(
elimi
n
a
t
es
a
false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
rosenberg: don't save unneede
d
s
tate
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
buf_size: don
'
t
s
ave
u
s
eless information in
the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
s
tr
u
ct_a
s
sig
n
m
e
nt: ignore
m
ore fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carp
e
nter
slist: fix
debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carpent
e
r
param_cl
e
a
r
ed, rosenberg:
a
d
d
underscored memset/cp
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
p
a
ram_filter/set: d
o
n't
recor
d
fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Ca
r
p
enter
sli
s
t, d
e
bugg
i
n
g: don't print ->p
o
ssible list if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carpent
e
r
type_val: add
more stuf
f
to i
g
n
ore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
db
/
reload_
p
artial
.
sh: chang
e
dat
a
base
i
n
fo for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
S
ilva
n
J
e
gen
Docu
m
entation
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan
C
arpenter
kern
e
l_printf: put lots of single quote
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan C
a
rpent
e
r
Me
r
ge branch 'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoe
s
check_
k
ernel_prin
t
f
.
c
: Allow const char[] for
m
at
a
rgumen
t
s
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check
_
ke
r
n
el_print
f
.
c: Handle 'fmt
? :
"defa
u
lt"'
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us
V
illemoes
ch
e
c
k
_kernel_printf
.
c: Simpli
f
y recursive
c
a
l
l
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an C
a
rpen
t
e
r
check
_
ker
n
el_printf
.
c: Simplify recurs
i
ve calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpente
r
ke
r
nel
_
printf: allow '\b' if it's the
first c
h
aracter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
validation/sm_r
o
s
e
n
b
erg
.
c:
d
on't pass an unini
t
i
aliz
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpenter
k
e
rnel_
p
r
i
ntf
:
ad
d
some
more
q
u
otes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carp
e
nter
ker
n
el_pr
i
ntf: move a warning u
n
der the --spammy flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
rn
e
l_printf: add some quotes
a
round t
h
e
f
u
n
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rp
e
nter
kerne_printf: '%
p
b' is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villem
o
es
chec
k
_k
e
rnel_printf
.
c: Fix brai
n
o
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
chec
k
_kernel_printf
.
c: St
r
ip parentheses
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemoes
check_kernel_p
r
int
f
.
c: Handle
c
o
n
ditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villemoes
sm
a
tch: Check
t
he kernel's %p form
a
t ext
e
nsions
commit
|
commitdiff
|
tree
next