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
type: include smatch_slist.h to prevent a segfault
2015-03-30
D
an Carpenter
typ
e
: inclu
d
e smatch_slist
.
h to
p
revent a segf
a
ul
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
ex
t
ra: don't set states to unkno
w
n
at th
e
beg
i
nnin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extr
a
:
d
o
n
't
set true false st
a
tes
if they a
r
e the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carpenter
f
u
nctio
n
_hooks:
a
dd a hack around in compare_db_return_
s
tate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Ca
r
penter
list: add
a c
o
mment abo
u
t re
g
ister_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_limit:
handle struct me
m
ber
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
e
nte
r
states: white space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
cond
i
t
ion
s
: ignore known/implie
d
c
ond
i
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpe
n
ter
strings:
record
s
tring
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struct_
a
ssign
m
ent:
save a lot more i
n
formation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
rpen
t
er
pa
r
a
m
_
limi
t
/
f
i
lter: fix
a
t
y
pe bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
S
ilvan Jegen
d
b: Avoid d
e
r
e
ferencin
g
null pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpent
e
r
compari
s
on: handle canon
i
ca
l
for loo
p
s with variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: un
s
igned can not be less than zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow: se
t
__cur_stmt and __prev_stmt ins
i
d
e for loop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpenter
comparis
o
n: merging equ
i
valent states is not undefine
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpenter
comp
a
rison: fix an in
d
e
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
rpe
n
t
e
r
function
_
hoo
k
s: fix up db_compare_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
function_hooks, debug: print impossibl
e
returns
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpe
n
ter
helper:
d
on't strip
cas
t
i
n
g
in ge
t
_
a
rray_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
l
i
nks: export
merge_link
_
s
t
ates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
hel
p
er:
make expr_to_str() prin
t
forced
c
asts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
C
arpenter
type: mak
e
type_
t
o_str() return a sname() buffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
m
odifica
t
ion_hooks: set a variable a
s
modif
i
ed when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
u
s
er_data2: tag it if a function sets
pa
r
a
m
e
t
ers
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Car
p
enter
stack: cleanup a function prototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
rpenter
d
e
ref_check: ignore arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpen
t
er
type: make sval_t
y
pe_
m
ax(
)
def
a
ult to "long lon
g
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpente
r
type: don't return SYM_N
O
D
E ty
p
es
f
rom
get_re
a
l_ba
s
e
_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpente
r
side_
e
ffects: the iterate_all_kinds() macro has si
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
un
r
eachable: don't compla
i
n about i
t
er
a
te_all_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
D
an Carpent
e
r
flow:
fix
"
foo +=
!bar;" as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpenter
lib: handle -funsigned-cha
r
o
p
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan C
a
r
p
e
nter
ke
r
nel
.
ig
n
ore_s
i
de_
e
ffects: add
s
om
e
macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
i
ndenting: allow "br
e
ak; case XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Car
p
enter
user_data2: mark sscanf
(
)
o
utput as u
s
e
r
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
math, r
l
: fi
x
handing
di
v
i
s
ion inv
o
lving ne
g
ative numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
s
v
al:
fix sva
l
_binop_o
v
e
r
f
lows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carp
e
nter
precedenc
e
:
complain ab
o
ut "foo
<< bar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
D
an Carpenter
flow: handle st
r
u
c
t initializ
a
t
ion better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
estate:
add a N
U
LL check in
e
sta
t
es
_
e
quiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan
C
arpenter
pa
r
a
m
_used:
store
when a parame
t
er is used
s
o
we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
extra: ignore more __
i
n_fa
k
e_assign da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpent
e
r
comparison: fix a crashing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
C
arpenter
type: add
a
n expr_signed() function tha
t
matches ex
p
r_
u
nsi
g
ned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arp
e
nter
smdb
.
py: add
functions to show functions implementing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
er
ex
t
ra
:
handle
t
empora
r
y sh
o
rthand pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
Carpenter
der
e
ferences_param: loo
k
for pointers used as an arra
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
e
n
ter
check_indenting
:
warn ab
o
ut mi
s
sing curly bra
c
es a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_cleared: add a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpen
t
er
valid
a
tio
n
: correc
t
some output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Ko
s
k
i
nen
bui
l
d:
a
l
l
ow use
o
f PKG_C
O
NFIG to override pkg-confi
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db:
b
uild in
d
ex
e
s fas
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n
C
a
rpenter
slist: f
i
x com
p
ile br
e
aka
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kernel_printf: silen
c
e
some false
p
ositive
s
us
i
ng smatch_s
t
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
enter
strings: record which strings
are being use
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
us
e
r_da
t
a2: turn
o
n skb->data tag
g
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpe
n
ter
d
b
: rename
F
ILTER_
V
A
L
UE, LIMITED_VAL
U
E, and ADDED_VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpen
t
er
kernel_printf: si
l
ence some "str
u
ct sock
a
ddr " false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpe
n
ter
type: add unions
t
o type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpe
n
ter
type_va
l
ue: speed
up loading t
h
e d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
D
an Carpenter
*
new* return_c
a
st
:
complai
n
about return
-
E
IN
V
A
L in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
fo
r
m
a
t_string: delete thi
s
because c
h
eck_kernel_print
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
functi
o
n_hooks
:
add
s
o
me debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
e
x
tra:
c
leanup
d
b_par
a
m
_
add_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
ter
extra: separate PARAM_LIMIT and PARAM_F
I
LTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
fun
c
ti
o
n_hooks: don
'
t take a sho
r
t
c
ut f
o
r "needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carp
e
nter
he
l
per:
i
ntroduce
all
o
c
_
state_st
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
m
a
th: handle "if (likely(1)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: fix
/
cl
e
anup do_compariso
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
capped: d
o
n
'
t record sing
l
e value
s
a
s capped in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpe
n
t
er
db: export
get_sta
t
ic_filter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpent
e
r
u
ser_data2: wron
g
p
a
rameter ta
g
g
e
d as
u
ser data
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
rosenberg
:
d
elete s
o
me c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ro
s
enberg: strip aw
a
y
s
om
e
casting (e
l
iminates a
f
alse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Ca
r
pent
e
r
rosenberg: don't save unneeded states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
bu
f
_size: don't
sa
v
e useless
i
n
f
ormation in the dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
struct_
a
ss
i
gnment:
i
g
no
r
e more fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rpent
e
r
s
list: fix de
b
ugging
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpe
n
t
er
param_cleared, rosenberg: a
d
d u
n
ders
c
ored m
e
mset/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_filter/s
e
t
:
don't record fake as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
slist, deb
u
gging
:
don't print ->possible
list if there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
typ
e
_
v
a
l
: add more stuff
t
o
ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpente
r
db/relo
a
d_par
t
i
a
l
.
sh:
cha
n
ge da
t
abase
info for one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jegen
Do
c
umentati
o
n fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Da
n
Ca
r
penter
kern
e
l_printf:
pu
t
lots
of single q
u
otes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan
C
ar
p
e
n
ter
Merge
b
ranch 'devel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
R
asmus V
i
llem
o
es
check
_
kernel_printf
.
c:
A
llow const char[] form
a
t arguments
commit
|
commitdiff
|
tree
2015-02-12
R
asmus Villemoes
c
hec
k
_kernel_pri
n
tf
.
c: Han
d
le 'fm
t
? : "de
f
ault
"
'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kern
e
l_printf
.
c: Simp
l
ify
r
ec
u
rsive calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carp
e
nter
c
heck_kern
e
l_printf
.
c: S
i
mplify recurs
i
ve ca
l
l
i
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpenter
kernel_prin
t
f: allow '\b' if it'
s
the f
i
rs
t
char
a
ct
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
er
validation/sm_rosen
b
erg
.
c: don't pass an uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
an
Carpent
e
r
kernel
_
p
r
intf: add some more
quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_print
f
: m
o
v
e
a warning under the --spammy
flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
enter
ker
n
e
l
_
p
r
intf:
a
dd some q
u
ote
s
around
t
h
e fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
er
kerne_
p
rintf: '
%
pb' is va
l
id
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_kernel_p
r
intf
.
c:
F
ix
b
r
aino
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
m
us Villemoes
check_kernel_printf
.
c
: Strip parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
ch
e
ck_kernel_printf
.
c
:
Handle c
o
ndi
t
ionals
commit
|
commitdiff
|
tree
next