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
err_ptr: use the actual values to silence false positives
2015-03-30
D
a
n Carpent
e
r
s
trings:
rec
o
rd
stri
n
g
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
e
nter
s
truc
t
_a
s
signment: sav
e
a l
o
t more information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
param_li
m
it/filter: fix a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Sil
v
an Jegen
db: Av
o
id
d
e
r
eferencing null point
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: h
a
ndle canonica
l
for lo
o
ps with
v
a
r
iable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: unsigned can not be less than z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpenter
f
low
:
set __cur_stmt and __prev_stmt
inside
f
or loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
er
co
m
parison:
merging eq
u
ivalent stat
e
s
i
s not undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpent
e
r
comp
a
rison: fix an
indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
fun
c
tion_hooks: fix up d
b
_compare_callba
c
k()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
functio
n
_hooks, debug: print impossible returns i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
help
e
r: don't strip
cas
t
ing i
n
get_ar
r
ay_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
e
n
ter
links:
e
xport m
e
r
g
e
_l
i
nk_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
C
a
rpenter
h
elper: ma
k
e expr_to
_
str() print forced cas
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
type: make t
y
pe_to_str(
)
retu
r
n a sname(
)
buffe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
m
odification
_
hooks
:
set a variable a
s
modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
use
r
_data2:
t
ag it if a function sets parameter
s
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
s
t
ack:
c
leanup a fu
n
c
tion
p
r
ototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an
Carp
e
nter
deref_check: ig
n
ore ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Ca
r
penter
typ
e
:
make sval
_
t
y
pe_
m
ax() default to
"
long lo
n
g"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
t
ype: don't retur
n
SYM_NODE types fro
m
get
_
r
eal_base_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Da
n
Carpenter
si
d
e
_
effects
:
the iterate_all_kin
d
s() mac
r
o ha
s
s
i
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
arpenter
unreachable: don't complain about it
e
rate_all
_
kinds(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Ca
r
pente
r
fl
o
w: fix "foo += !bar;" assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpe
n
t
e
r
lib: handle -funsigned-char option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan
C
arpent
e
r
kernel
.
ignore_side_effects:
ad
d
some macr
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n
C
a
r
penter
indenting: allo
w
"br
e
ak; case
XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
C
arpen
t
er
user_data2: mark sscanf
(
) output as use
r
d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rpenter
math, r
l
: fix handing divis
i
on involving
n
e
g
a
tive
num
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
sval: fix sval_bin
o
p_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Car
p
enter
p
recedence: complain about "fo
o
<< b
a
r
-
b
az"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
f
l
ow: handle struct initialization bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
e
state
:
a
d
d
a NULL check i
n
estates_
e
quiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
p
aram_used
:
store
w
h
en a para
m
eter
is used so we
don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n Carpenter
ex
t
ra: ignore more __in_fake_assign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carp
e
n
t
er
comparison: fix a cra
s
hing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Ca
r
penter
type: add an expr_
s
igned(
)
fun
c
ti
o
n that matches ex
p
r_u
n
sig
n
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpenter
smdb
.
py
:
a
dd
f
unctions
t
o show fun
c
t
i
ons im
p
le
m
e
n
ting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
C
ar
p
enter
e
x
tra: handle
t
emporar
y
shorthand poin
t
ers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
penter
derefer
e
nces_pa
r
a
m:
l
ook for
pointers use
d
as a
n
array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check
_
inden
t
ing: warn
about missing
c
urly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carp
e
nter
p
aram_cleared: add
a c
o
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Ca
r
penter
v
alidatio
n
:
correct some
o
u
t
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aa
r
o Ko
s
kinen
build: allow use of
P
K
G
_CONFIG to ove
r
ride pk
g
-con
f
ig
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
an
Carpe
n
t
e
r
db: build indexes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
slist: f
i
x compile breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kernel_p
r
in
t
f: silenc
e
some
false
po
s
itives using sma
t
c
h_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
st
r
ings: record wh
i
ch stri
n
gs a
r
e being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpent
e
r
user_data2
:
turn on skb->data
ta
g
ging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpen
t
er
db: ren
a
m
e
FILTER_VAL
U
E
,
LIMITED_VALUE, and ADDED_V
A
LU
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
kern
e
l_pri
n
tf: silenc
e
some "str
u
ct sockaddr
"
fal
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an
C
a
r
penter
type: add unions to type_t
o
_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan
C
arpenter
type_value
:
speed up loadin
g
the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* r
e
turn_cast: comp
l
ain abou
t
return -EINVA
L
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
format_string: delete this becau
s
e chec
k
_k
e
rn
e
l_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
arpenter
function_hook
s
: add some debug outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
e
xtra: cleanup db_param_add_s
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
arpenter
extra
:
separate PARAM_LIMIT
a
nd PARAM_
F
ILTE
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
e
n
ter
funct
i
on
_
hook
s
: don't take a shor
t
cut for
"
needl
e
ss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
h
elper: introduce alloc_
s
tate_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
p
e
nter
math: handle "if
(li
k
ely(
1
)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
math:
fi
x
/
cleanup do
_
comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpen
t
er
c
app
e
d: don't r
e
cor
d
singl
e
val
u
es as capped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Ca
r
penter
d
b: export ge
t
_
s
tatic_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_data2: wrong
p
arameter tagge
d
as us
e
r dat
a
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
r
o
s
e
nberg: delete so
m
e code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpen
t
e
r
rosenberg
:
s
t
rip away s
o
me casting (e
l
i
minat
e
s a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
rosenb
e
rg
:
d
o
n't
s
ave unneeded st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Ca
r
penter
buf_
s
ize: don't sav
e
usel
e
ss
information in the dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpen
t
er
struct_
a
s
s
ig
n
m
ent: ignore more fake a
s
signmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
sli
s
t: fix debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_cleared
,
rosenb
e
rg: ad
d
underscor
e
d
m
ems
e
t/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpe
n
ter
param_filter/set: don
'
t rec
o
rd
f
a
ke a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n
Carp
e
nter
s
list,
debugg
i
ng: don't pri
n
t ->p
o
ssible list
i
f there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
type_v
a
l: add
mor
e
s
tuff to ig
n
ore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
nter
db/re
l
oad_pa
r
tial
.
sh: change database info for
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan
J
e
gen
Doc
u
mentation
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n Carpent
e
r
ker
n
el_printf: put lots of sin
g
l
e qu
o
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan
C
a
rpenter
Merge branch 'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Vil
l
emo
e
s
ch
e
c
k
_kernel_printf
.
c:
A
llow cons
t
char[] format arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus
V
il
l
em
o
es
check_kernel_printf
.
c
:
Handle 'fm
t
? : "default"'
commit
|
commitdiff
|
tree
2015-02-12
R
a
smus
Villemoes
check_kerne
l
_printf
.
c:
S
im
p
lif
y
recurs
i
ve calli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an C
a
rpenter
check_ke
r
nel_printf
.
c: Simplify recursive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n
Carpenter
kernel_printf: all
o
w '\b
'
if it's the first ch
a
rac
t
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
v
alidati
o
n/sm_rosenberg
.
c: don
'
t pass an unini
t
ialize
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an
Carpente
r
k
ernel_prin
t
f: add some more quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpente
r
k
e
rnel_printf: move a warning under the -
-
s
pammy
f
lag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
penter
kern
e
l_prin
t
f:
add some quotes
a
r
ound the fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
ke
r
ne_printf: '%p
b
' i
s
valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Villemoes
check_kernel_printf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vill
e
moes
che
c
k_k
e
rnel_pri
n
tf
.
c
:
Stri
p
p
arentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
Villemoes
c
heck_kernel_printf
.
c:
H
andle
c
onditionals
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us Villemoes
smatch:
C
heck th
e
k
ernel's %p
f
o
r
m
a
t
e
xt
e
nsions
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Villemoes
smatch: Add --enable option
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: Im
p
lem
e
nt --show-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Villemoes
sma
t
ch: A
d
d dummy element to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc Van Oostenr
y
c
k
Avo
i
d reuse of string buffer whe
n
conc
a
tening adjace
n
t
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Carpen
t
er
wro
n
g
_size_arg: warn
a
b
out "
i
f (memc
m
p(f
o
o
, bar, sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpenter
struct_ass
i
gnment:
r
em
o
ve a blank li
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
p
e
nter
s
v
al: h
a
ndle LEFTSHIFTs
in sval_binop_over
f
lows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next