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
deref_check, check_deref: only consider pointers
2015-03-30
Da
n
C
arpenter
f
unction_hooks: add
a hack a
r
ound
i
n compar
e
_db_re
t
urn_
s
tate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Ca
r
penter
li
s
t: add a co
m
ment a
b
out r
e
gi
s
ter_implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
p
aram_l
i
mit: handle str
u
ct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
ent
e
r
s
tates: w
h
ite s
p
ace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
cond
i
tions: ignore known/implie
d
condition
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an
C
arpenter
st
r
i
n
gs: record st
r
i
n
g assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struct_assignment
:
s
ave a l
o
t m
o
re information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Car
p
enter
p
a
ram
_
limi
t
/filter: fix
a ty
p
e bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Si
l
v
an Jegen
db: Avoid d
e
refer
e
ncin
g
null pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: handl
e
canonical for
loops with
v
ariab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
ter
compari
s
on: unsigned can
n
ot b
e
less th
a
n zer
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Car
p
enter
flo
w
: set __cu
r
_stmt
a
n
d __prev_stmt inside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Ca
r
p
enter
co
m
parison
:
me
r
ging equivalent states
i
s not undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
er
co
m
parison: fi
x
a
n
indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
r
pente
r
f
unc
t
ion_hook
s
: f
i
x
u
p db_com
p
are_ca
l
lback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
function_hooks,
deb
u
g: prin
t
impossib
l
e retu
r
ns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
e
r
help
e
r:
don'
t
stri
p
casting in get_array_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
li
n
ks: export merge_link_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
helper: make expr_to_st
r
() print fo
r
ced cas
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
type:
make
type_to_str() retur
n
a sname()
b
uffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
mo
d
ifi
c
ation_hooks: set
a v
a
ri
a
b
l
e a
s
modifie
d
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
f
unction sets parameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
s
tac
k
: cleanup
a function prot
o
t
y
p
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
deref_check
:
igno
r
e
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type
:
m
a
ke sval_type_max(
)
defaul
t
to "long long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type: don't return SYM_NODE type
s
from get_real_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
Carpent
e
r
side_effects: th
e
iterate_all_kinds() ma
c
ro
h
as side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
D
a
n Carpent
e
r
unreachable: don'
t
complain abou
t
iterate
_
all_kinds
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan C
a
rpenter
f
low: fix
"
fo
o
+= !bar;" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpe
n
ter
lib: handle -
f
unsi
g
ned-c
h
ar option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n Carpenter
ke
r
nel
.
ignore_side_effects: add some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpente
r
indenting
:
allow "
b
reak
;
ca
s
e XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rpente
r
user_data2: mark sscanf()
o
ut
p
u
t
as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
penter
math,
rl: fix handin
g
division i
n
volving
ne
g
at
i
v
e numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carpenter
sval: fix sval_binop_overf
l
ows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carpe
n
t
er
pre
c
edence: complain about
"
foo <
<
bar - b
a
z"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carp
e
nter
flow: handle struct initi
a
l
i
zation b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
D
a
n
Carpe
n
ter
estate: add a NULL check i
n
estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
param_used:
store when a parameter is used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n
Carpente
r
extra: ignore
more __in_fake_assig
n
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
compa
r
ison: fix
a
cr
a
shing
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carpenter
type: ad
d
an expr_signed(
)
function
that m
a
tc
h
es expr
_
unsigned
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smdb
.
py: add functi
o
n
s
to sho
w
func
t
ions i
m
plem
e
nting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
extra: handle temporary s
h
orthand
po
i
nte
r
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpenter
dere
f
e
re
n
ces_
p
aram: look for pointers used as an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
er
check_indenting: warn about missing curly
bra
c
e
s
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
arpente
r
par
a
m_clea
r
ed: add a
c
o
mment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpente
r
validation: cor
r
ect so
m
e output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
A
a
r
o Koskinen
build: allow use
of PKG_CONFIG to o
v
erride pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
an Ca
r
penter
d
b
: build indexe
s
faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
slist
:
fix compile breakag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kernel_prin
t
f: si
l
ence some
false positives
u
sing s
m
atch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpente
r
strings: reco
r
d w
h
ich strings are being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
r
pent
e
r
user_dat
a
2: turn on skb->data
t
a
ggin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
db: ren
a
me F
I
LTE
R
_VALUE, LIMITED_VALUE, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Carpen
t
er
kernel_printf: silence some "stru
c
t so
c
kaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
t
ype: add unions to typ
e
_
t
o_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carp
e
n
t
er
type_value: speed up
l
o
a
ding the dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Ca
r
penter
*new*
return_cast: co
m
p
l
ain a
b
out retu
r
n -EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
format_s
t
ring: delete this bec
a
use che
c
k_kernel_
p
rin
t
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
functi
o
n_hooks:
a
d
d some de
b
ug
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
ext
r
a: clean
u
p
d
b_
p
aram_add_set
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
e
x
t
ra: s
e
p
arate PARAM_LIMIT and PARAM_FILTE
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
fu
n
ction_hooks
:
don't take a sh
o
rtcut for "needle
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helper: introduce a
l
loc_state_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
arpenter
math: handle "if (likely(1
)
) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
math: fix/c
l
eanup do_comparis
o
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
te
r
capped: don't record singl
e
values as
cap
p
ed in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Ca
r
penter
db: export get_static_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user
_
data2: wrong parameter tagged
as user data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
rosenbe
r
g
:
delet
e
some co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
pente
r
rose
n
berg:
strip aw
a
y
s
o
me casti
n
g
(
el
i
min
a
tes a
false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
rosenberg: don't
s
ave unneeded states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
buf_si
z
e: don't sav
e
u
sele
s
s information in the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
s
truct_as
s
ignment: ignore more f
a
ke assig
n
ment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpen
t
e
r
sli
s
t: fix debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
enter
par
a
m_cleared, r
o
sen
b
erg: add
underscor
e
d
me
m
s
et/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_filter/
s
et: don't
r
ecor
d
fak
e
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arp
e
nter
s
l
ist,
deb
u
g
ging: don't print
->
p
ossible
l
i
st if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
type_val: ad
d
more stuff to
ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an Carpenter
db/rel
o
a
d_partial
.
s
h
: change data
b
ase inf
o
f
or one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jegen
Documenta
t
io
n
fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n
C
a
rpen
t
e
r
kern
e
l_printf: put lots o
f
single quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
Merge branch 'deve
l
3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_k
e
r
n
el_printf
.
c
:
Allow c
o
nst char[] format
a
rguments
commit
|
commitdiff
|
tree
2015-02-12
R
as
m
us Villemoe
s
c
h
e
c
k
_kern
e
l_print
f
.
c: Handle
'f
m
t ? : "d
e
fault"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Ville
m
oes
check_kernel_pri
n
tf
.
c: Si
m
plify recur
s
ive c
a
lling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Ca
r
penter
c
h
eck_ke
r
nel_pri
n
tf
.
c
: S
i
mplify recurs
i
ve calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kerne
l
_pr
i
ntf:
allow '\b' i
f
it's t
h
e first character
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
pe
n
ter
validatio
n
/sm_rosenberg
.
c
: don't
p
ass an u
n
initialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
kernel_printf: ad
d
some more quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
ker
n
el_printf: move a warn
i
n
g
u
nder the
--
s
p
ammy
fla
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
ke
r
nel_print
f
: add some
quo
t
es around the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
enter
kerne_p
r
i
n
t
f: '%pb' is vali
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Vil
l
emo
e
s
c
h
e
c
k
_kernel_pr
i
ntf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vil
l
e
m
oes
c
h
ec
k
_kern
e
l_printf
.
c:
Str
i
p
parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
lemoes
chec
k
_kernel_printf
.
c: Handle condit
i
onals
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Ville
m
oes
smatch: Check the
k
ernel's %p format exte
n
sions
commit
|
commitdiff
|
tree
2015-02-11
R
asmus Villemoes
smatc
h
:
Add --enabl
e
option
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
i
llemoes
smatch
:
Imple
m
ent --show-checks
commit
|
commitdiff
|
tree
next